equal
deleted
inserted
replaced
60 /** Return client connection status */ |
60 /** Return client connection status */ |
61 public boolean clientIsOpen() { |
61 public boolean clientIsOpen() { |
62 return clientSocket != null; |
62 return clientSocket != null; |
63 } |
63 } |
64 |
64 |
65 final public void run() { |
65 public final void run() { |
66 if (serverSocket != null) { |
66 if (serverSocket != null) { |
67 Thread.currentThread().setPriority(Thread.MAX_PRIORITY); |
67 Thread.currentThread().setPriority(Thread.MAX_PRIORITY); |
68 // System.out.print("Server starts " + serverSocket + "\n"); |
68 // System.out.print("Server starts " + serverSocket + "\n"); |
69 while (true) { |
69 while (true) { |
70 try { |
70 try { |
104 } |
104 } |
105 } |
105 } |
106 |
106 |
107 /** Start a server on port <i>port</i>. It will call serviceRequest() |
107 /** Start a server on port <i>port</i>. It will call serviceRequest() |
108 for each new connection. */ |
108 for each new connection. */ |
109 final public void startServer(int port) throws IOException { |
109 public final void startServer(int port) throws IOException { |
110 serverSocket = new ServerSocket(port, 50); |
110 serverSocket = new ServerSocket(port, 50); |
111 serverInstance = new ManagedLocalsThread(this); |
111 serverInstance = new ManagedLocalsThread(this); |
112 serverInstance.start(); |
112 serverInstance.start(); |
113 } |
113 } |
114 |
114 |