diff options
Diffstat (limited to 'inc/taskmanager.inc.php')
| -rw-r--r-- | inc/taskmanager.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/taskmanager.inc.php b/inc/taskmanager.inc.php index d9e890c6..5813164a 100644 --- a/inc/taskmanager.inc.php +++ b/inc/taskmanager.inc.php @@ -178,7 +178,7 @@ class Taskmanager private static function readReply($seq) { $tries = 0; - while (($bytes = socket_recvfrom(self::$sock, $buf, 90000, 0, $bla1, $bla2)) !== false) { + while (($bytes = socket_recvfrom(self::$sock, $buf, 90000, 0, $bla1, $bla2)) !== false || socket_last_error() === 11) { $parts = explode(',', $buf, 2); if (count($parts) == 2 && $parts[0] == $seq) { return json_decode($parts[1], true); |