From: adam <adam@megacz.com>
Date: Thu, 8 Feb 2007 03:49:22 +0000 (+0100)
Subject: make TCP server more robust
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=33a4b91e56c0f9cf40a81a0bfdca7924d1c4f819;p=fleet.git

make TCP server more robust
---

diff --git a/contrib/demo.ships b/contrib/demo.ships
index dbb3a83..c480842 100644
--- a/contrib/demo.ships
+++ b/contrib/demo.ships
@@ -1,3 +1,4 @@
+#ship alu2_bad         : Alu2
 #ship alu2         : Alu2
 #ship debug        : Debug
 #ship execute      : Execute
diff --git a/src/edu/berkeley/fleet/slipway/Server.java b/src/edu/berkeley/fleet/slipway/Server.java
index cabbeda..67c5a57 100644
--- a/src/edu/berkeley/fleet/slipway/Server.java
+++ b/src/edu/berkeley/fleet/slipway/Server.java
@@ -21,8 +21,8 @@ public class Server {
         private int devnum;
         public Listener(int devnum) { this.devnum = devnum; }
         public void run() {
-            try {
-                while(true) {
+            while(true) {
+                try {
                     Socket s = null;
                     synchronized(Server.class) {
                         System.err.println("thread " + devnum + " listening");
@@ -30,8 +30,9 @@ public class Server {
                         System.err.println("connection");
                     }
                     new Handler(s, devnum).run();
-                }
-            } catch (Exception e) { throw new RuntimeException(e); }
+                } catch (Exception e) { throw new RuntimeException(e); }
+                try { Thread.sleep(1000); } catch (Exception e) { }
+            }
         }
     }