diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-03-26 19:39:24 -0700 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-03-26 19:39:24 -0700 |
commit | c27a29058e990c5aa965bf71e19290de7f9793b4 (patch) | |
tree | bfde0ef97dfad873e1034af6be9a05be9b0e3d3b /clientserver | |
parent | ae1e499cbb5b710a5a4e7dd8536a42c22631e84d (diff) | |
parent | ea2fdd93d6cec3c3eab1124ed3792c3ad6f2c484 (diff) | |
download | mill-c27a29058e990c5aa965bf71e19290de7f9793b4.tar.gz mill-c27a29058e990c5aa965bf71e19290de7f9793b4.tar.bz2 mill-c27a29058e990c5aa965bf71e19290de7f9793b4.zip |
Merge branch 'master' of github.com:lihaoyi/mill
Diffstat (limited to 'clientserver')
-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; |