diff options
Diffstat (limited to 'clientserver/src')
| -rw-r--r-- | clientserver/src/mill/clientserver/Client.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clientserver/src/mill/clientserver/Client.java b/clientserver/src/mill/clientserver/Client.java index 261f69b1..e2a92f7f 100644 --- a/clientserver/src/mill/clientserver/Client.java +++ b/clientserver/src/mill/clientserver/Client.java @@ -112,7 +112,7 @@ public class Client { // Need to give sometime for Win32NamedPipeSocket to work // if the server is just initialized - if (serverInit && ClientServer.isWindows) Thread.sleep(250); + if (serverInit && ClientServer.isWindows) Thread.sleep(1000); Socket ioSocket = null; |