本文整理汇总了PHP中Benchmark::GetBenchmarkMilliSeconds方法的典型用法代码示例。如果您正苦于以下问题：PHP Benchmark::GetBenchmarkMilliSeconds方法的具体用法？PHP Benchmark::GetBenchmarkMilliSeconds怎么用？PHP Benchmark::GetBenchmarkMilliSeconds使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Benchmark的用法示例。
在下文中一共展示了Benchmark::GetBenchmarkMilliSeconds方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的PHP代码示例。
示例1: QueryServer
function QueryServer($server)
{
$benchmark = new Benchmark();
$benchmark->StartTimer("lgsl");
$result = lgsl_query_live($server->protocol, $server->address, $server->cport, $server->qport, $server->sport, "sep");
$benchmark->EndTimer("lgsl");
$queryinfo = $result["b"];
$serverinfo = $result["s"];
$servervars = $result["e"];
$players = $result["p"];
/*foreach($result as $k => $v)
{
echo "<br/><br/>$k<br/>";
var_dump($v);
}*/
//If the server is online then copy the data over.
if ($queryinfo["status"] == 1) {
$server->ping = $benchmark->GetBenchmarkMilliSeconds("lgsl");
$server->hostname = $serverinfo["name"];
$server->game = $serverinfo["game"];
$server->map = $serverinfo["map"];
$server->maxplayers = $serverinfo["playersmax"];
$server->password = $serverinfo["password"];
if (isset($servervars["dedicated"])) {
$server->dedicated = streq($servervars["dedicated"], "d");
} else {
$server->dedicated = 1;
}
if (isset($servervars["description"])) {
$server->gamename = $servervars["description"];
} else {
$server->gamename = $server->game;
}
$server->setServerVars($servervars);
$playerlist = array();
foreach ($players as $k => $v) {
$player = new Lan_servers_player();
$player->name = $v["name"];
if (isset($v["score"])) {
$player->score = $v["score"];
} else {
if (isset($v["frags"])) {
$player->score = $v["frags"];
} else {
if (isset($v["rank"])) {
$player->score = $v["rank"];
} else {
$player->Score = "0";
}
}
}
if (isset($v["time"])) {
$player->time = $v["time"];
} else {
$player->time = "";
}
$playerlist[] = $player;
}
$server->setPlayers($playerlist);
$server->playercount = count($playerlist);
} else {
$server->ping = "-1";
$playerlist = array();
$server->setPlayers($playerlist);
$server->maxplayers = "";
$server->playercount = "";
}
return $server;
}