ClientGUI: Allow waitForServer() to set ProgressMonitor's duration
authorTJ <hacker@iam.tj>
Sat, 6 Jun 2015 13:28:15 +0000 (14:28 +0100)
committerTJ <hacker@iam.tj>
Sat, 6 Jun 2015 13:28:15 +0000 (14:28 +0100)
commitd8e83abb75f77a442a8446b21226ba218439c487
tree97f9143a287a3f65543256408a316970a0637487
parentafc5607e8232368cf6787d1d10e301f7fce73caa
ClientGUI: Allow waitForServer() to set ProgressMonitor's duration
src/uk/ac/ntu/n0521366/wsyd/client/ClientGUI.java