当前位置: 首页>>代码示例>>PHP>>正文


PHP Benchmark::startLive方法代码示例

本文整理汇总了PHP中Benchmark::startLive方法的典型用法代码示例。如果您正苦于以下问题:PHP Benchmark::startLive方法的具体用法?PHP Benchmark::startLive怎么用?PHP Benchmark::startLive使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在Benchmark的用法示例。


在下文中一共展示了Benchmark::startLive方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的PHP代码示例。

示例1: die

<?php

$GLOBALS['Session']->requireAccountLevel('Developer');
// get repo
if (empty($_REQUEST['repo'])) {
    die('Parameter "repo" required');
}
$repoName = $_REQUEST['repo'];
if (!array_key_exists($repoName, Git::$repositories)) {
    die("Repo '{$repoName}' is not defined in Git::\$repositories");
}
$repoCfg = Git::$repositories[$repoName];
// start the process
set_time_limit(0);
Benchmark::startLive();
Benchmark::mark("configured request: repoName={$repoName}");
// get paths
$repoPath = "{$_SERVER['SITE_ROOT']}/site-data/git/{$repoName}";
$keyPath = "{$repoPath}.key";
$gitWrapperPath = "{$repoPath}.git.sh";
putenv("GIT_SSH={$gitWrapperPath}");
// check if there is an existing repo
if (!is_dir("{$repoPath}/.git")) {
    die("{$repoPath} does not contain .git");
}
// get repo
chdir($repoPath);
$repo = new PHPGit_Repository($repoPath, !empty($_REQUEST['debug']));
Benchmark::mark("loaded git repo in {$repoPath}");
// verify repo state
if ($repo->getCurrentBranch() != $repoCfg['workingBranch']) {
开发者ID:nbey,项目名称:Emergence-Skeleton,代码行数:31,代码来源:pull.php


注:本文中的Benchmark::startLive方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。