0
@@ -398,9 +398,11 @@
0
     
0
     // The received data only serves to wake up the server socket,
0
     // and is not important.
0
-		do {
0
-			ret = read(serverSocket, &x, 1);
0
-		} while (ret == -1 && errno == EINTR && !serverDone);
0
+		while (!serverDone) {
0
+			do {
0
+				ret = read(serverSocket, &x, 1);
0
+			} while (ret == -1 && errno == EINTR && !serverDone);
0
+		}
0
     if (ret == 0 || serverDone) {
0
       // All web server processes disconnected from this server.
0
       // So we can safely quit.
0
@@ -409,9 +411,11 @@
0
     
0
     // We have an incoming connect request from an
0
     // ApplicationPool client.
0
-		do {
0
-			ret = socketpair(AF_UNIX, SOCK_STREAM, 0, fds);
0
-		} while (ret == -1 && errno == EINTR && !serverDone);
0
+		while (!serverDone) {
0
+			do {
0
+				ret = socketpair(AF_UNIX, SOCK_STREAM, 0, fds);
0
+			} while (ret == -1 && errno == EINTR && !serverDone);
0
+		}
0
     if (ret == -1 || serverDone) {
0
       throw SystemException("Cannot create an anonymous Unix socket", errno);
0
     }