|
|
@ -79,6 +79,7 @@ public class DesignerSocketIO { |
|
|
|
private static Status status = Status.Disconnected; |
|
|
|
private static Status status = Status.Disconnected; |
|
|
|
private static Timer disConnectHintTimer = null; |
|
|
|
private static Timer disConnectHintTimer = null; |
|
|
|
private static long disConnectHintTimerDelay = 3000; |
|
|
|
private static long disConnectHintTimerDelay = 3000; |
|
|
|
|
|
|
|
private static final int TIMEOUT = 5000; |
|
|
|
//维护一个当前工作环境的uri列表
|
|
|
|
//维护一个当前工作环境的uri列表
|
|
|
|
private static String[] uri; |
|
|
|
private static String[] uri; |
|
|
|
//维护一个关于uri列表的计数器
|
|
|
|
//维护一个关于uri列表的计数器
|
|
|
@ -316,9 +317,8 @@ public class DesignerSocketIO { |
|
|
|
HttpGet httpGet = new HttpGet(StableUtils.pathJoin(info.getUrl(), WorkspaceConstants.CONTROLLER_PREFIX, WorkspaceConstants.VT)); |
|
|
|
HttpGet httpGet = new HttpGet(StableUtils.pathJoin(info.getUrl(), WorkspaceConstants.CONTROLLER_PREFIX, WorkspaceConstants.VT)); |
|
|
|
RequestConfig requestConfig = RequestConfig |
|
|
|
RequestConfig requestConfig = RequestConfig |
|
|
|
.custom() |
|
|
|
.custom() |
|
|
|
.setConnectTimeout(5000) |
|
|
|
.setConnectTimeout(TIMEOUT) |
|
|
|
.setConnectionRequestTimeout(5000) |
|
|
|
.setConnectionRequestTimeout(TIMEOUT) |
|
|
|
.setSocketTimeout(5000) |
|
|
|
|
|
|
|
.build(); |
|
|
|
.build(); |
|
|
|
httpGet.setConfig(requestConfig); |
|
|
|
httpGet.setConfig(requestConfig); |
|
|
|
try { |
|
|
|
try { |
|
|
|