}
protected void createServerSocket() {
- // port = SocketUtil.findUnusedLocalPort("localhost", 10001, 10101);
- port = 10001;
+ port = SocketUtil.findUnusedLocalPort("localhost", 10001, 10101);
+// port = 10001;
if (port == -1) {
PHPDebugCorePlugin.log(5, "Cannot find free port!!!!");
return;