WorkerPool
WorkTask
189190191192193194195196197198199
* processes messages. */ public void close() { WorkerTask st = server; if (st != null) { st.terminate(); st.interrupt(); try { st.join(); } catch (InterruptedException ex) {
10831084108510861087108810891090109110921093
public void close() { stop = true; WorkerTask st = server; if (st != null) { st.terminate(); } } public void terminate() { stop = true;
122123124125126127128129130131132
*/ public void close() throws IOException { boolean interrupted = false; WorkerTask l = listener; if (l != null) { l.terminate(); l.interrupt(); if (socketTimeout > 0) { try { l.join(); }
10721073107410751076107710781079108010811082