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 /clientserver/src | |
| parent | 1e0e3306aceb48723fc3c75d30099471d1365303 (diff) | |
| download | mill-83fd4dd805e4670dd586190922da3c4605fe5307.tar.gz mill-83fd4dd805e4670dd586190922da3c4605fe5307.tar.bz2 mill-83fd4dd805e4670dd586190922da3c4605fe5307.zip | |
Bumped up sleep for Win32NamedPipeSocket init.
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; |