diff options
author | Robby <robby@k-state.edu> | 2018-03-26 08:22:13 -0500 |
---|---|---|
committer | Robby <robby@k-state.edu> | 2018-03-26 08:22:13 -0500 |
commit | 83fd4dd805e4670dd586190922da3c4605fe5307 (patch) | |
tree | af2fb045ef522cf6c54727ce76edd5eeb9cc6b9e | |
parent | 1e0e3306aceb48723fc3c75d30099471d1365303 (diff) | |
download | mill-83fd4dd805e4670dd586190922da3c4605fe5307.tar.gz mill-83fd4dd805e4670dd586190922da3c4605fe5307.tar.bz2 mill-83fd4dd805e4670dd586190922da3c4605fe5307.zip |
Bumped up sleep for Win32NamedPipeSocket init.
-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; |