webkit  2cdf99a9e3038c7e01b3c37e8ad903ecbe5eecf1
https://github.com/WebKit/webkit
Variables
get-ping-data.php File Reference

Variables

 $noTimeout = True
 
 $timeoutMsecs = 0
 
if(isset($_GET['timeout_ms'])) $pingFileFound = False
 
 while ( $noTimeout||$timeoutMsecs > 0)
 
if($pingFileFound) else
 
 if (isset( $_GET[ 'end_test']))
 

Variable Documentation

◆ $noTimeout

$noTimeout = True

◆ $pingFileFound

if (isset( $_GET[ 'timeout_ms'])) $pingFileFound = False

◆ $timeoutMsecs

$timeoutMsecs = 0

◆ else

if ( $pingFileFound) else
Initial value:
{
echo "Ping not received - timed out."

◆ if

if(isset($_GET['end_test']))

◆ while

while($noTimeout|| $timeoutMsecs > 0)