rnd-19981114-1
[rocksndiamonds.git] / src / netserv.c
index 5b32ba044322f5d825f080b5c0bacb53f18f95d3..6ff6e52e089049eea9c1fd8955bcbe540fc1c2dc 100644 (file)
@@ -617,10 +617,13 @@ void NetworkServer(int port, int serveronly)
     tv.tv_sec = 0;
     tv.tv_usec = 500000;
     if ((sl = select(mfd + 1, &fds, NULL, NULL, &tv)) < 0)
+    {
       if (errno != EINTR)
        syserr("select");
-      else continue;
-    
+      else
+       continue;
+    }
+
     if (sl < 0)
       continue;