Re: [Fwd: PHP Peer - Benchmark - timer.php]

From:	Marshall Roch	Date:	Sun, 14 Sep 2003 03:31:38 +0000
Subject:	Re: [Fwd: PHP Peer - Benchmark - timer.php]
References:	1 2 3	Groups:	php.pear.dev
Request:	Send a blank email to pear-dev+get-21484@lists.php.net to get a copy of this message

Alan Knowles wrote:

or even simpler.. ? $http = ($set_http !== null) ? $set_http :
    isset($_SERVER['SERVER_PROTOCOL'])
    || isset($GLOBALS['HTTP_SERVER_VARS']['SERVER_PROTOCOL']);

lol, damn, you win! -- Marshall Roch http://pear.php.net/user/mroch