markTestSkipped( 'The PHP cli webserver is not available with PHP 5.3.' ); } $ch = curl_init('http://localhost:8081/'); curl_setopt($ch, CURLOPT_CONNECTTIMEOUT, 10); curl_setopt($ch, CURLOPT_HEADER, true); curl_setopt($ch, CURLOPT_NOBODY, true); curl_setopt($ch, CURLOPT_RETURNTRANSFER, true); if (curl_exec($ch) === false) { $this->markTestSkipped( 'The PHP webserver is not started on port 8081.' ); } curl_close($ch); } }