本文整理汇总了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']) {