Ho provato così, ma non va:

Codice PHP:
<?php
$end 
time() + 20;
while((
$byte != chr(3)) || (time() < $end)){
   ...
}
?>