本文整理汇总了PHP中Tinebase_Helper::formatMicrotimeDiff方法的典型用法代码示例。如果您正苦于以下问题：PHP Tinebase_Helper::formatMicrotimeDiff方法的具体用法？PHP Tinebase_Helper::formatMicrotimeDiff怎么用？PHP Tinebase_Helper::formatMicrotimeDiff使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类Tinebase_Helper的用法示例。
在下文中一共展示了Tinebase_Helper::formatMicrotimeDiff方法的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的PHP代码示例。
示例1: microtime
<?php
/**
* this is the general file any request should be routed through
*
* @package Tinebase
* @license http://www.gnu.org/licenses/agpl.html AGPL Version 3
* @author Lars Kneschke <l.kneschke@metaways.de>
* @copyright Copyright (c) 2007-2015 Metaways Infosystems GmbH (http://www.metaways.de)
*
*/
$time_start = microtime(true);
require_once 'bootstrap.php';
Tinebase_Core::set(Tinebase_Core::STARTTIME, $time_start);
Tinebase_Core::dispatchRequest();
if (Tinebase_Core::isLogLevel(Zend_Log::INFO)) {
// log profiling information
$time_end = microtime(true);
$time = $time_end - $time_start;
Tinebase_Core::getLogger()->info('index.php (' . __LINE__ . ')' . ' METHOD: ' . Tinebase_Core::get(Tinebase_Core::METHOD) . ' / TIME: ' . Tinebase_Helper::formatMicrotimeDiff($time) . ' / ' . Tinebase_Core::logMemoryUsage() . ' / ' . Tinebase_Core::logCacheSize() . ' / PID: ' . getmypid());
}示例2: format
/**
* Add session id in front of log line
*
* @param array $event event data
* @return string formatted line to write to the log
*/
public function format($event)
{
$output = parent::format($event);
$output = str_replace($this->_search, $this->_replace, $output);
$timelog = '';
if (self::$_logdifftime || self::$_logruntime) {
$currenttime = microtime(true);
if (self::$_logruntime) {
$timelog = Tinebase_Helper::formatMicrotimeDiff($currenttime - self::$_starttime) . ' ';
}
if (self::$_logdifftime) {
$timelog .= Tinebase_Helper::formatMicrotimeDiff($currenttime - (self::$_lastlogtime ? self::$_lastlogtime : $currenttime)) . ' ';
self::$_lastlogtime = $currenttime;
}
}
return self::getPrefix() . ' ' . self::getUsername() . ' ' . $timelog . '- ' . $output;
}