PHP pinba::timer_delete Beispiele

Beispiel #1

Datei: pinba.php Projekt: noony/pinba-pure-php

/**
 * Deletes the timer.
 *
 * @param int $timer Valid timer resource.
 *
 * @return bool Returns true on success and false on failure.
 * @link https://github.com/tony2001/pinba_engine/wiki/PHP-extension#pinba_timer_delete
 * @since 0.0.6
 */
function pinba_timer_delete($timer)
{
    return pinba::timer_delete($timer);
}