Ci ho già provato in questo modo:
while(true){
if ((time() - $start_time) > 20) {
return false; // timeout, function took longer than 20 seconds
}
}
ma niente da fare
Ps. sono in attesa di alcuni dati tramite socket_read e ogni tanto il server non invia nulla