From c4ac8e072b6ecedabc6b94e47a5f65a02be4d84e Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Fri, 27 Jun 2014 21:17:30 +0200
Subject: Cleanup and minor fix

---
 inc/taskmanager.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'inc/taskmanager.inc.php')

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);
-- 
cgit v1.2.3-55-g7522