/** * Called by a thread who's client has asked to exit. Gets rid of the thread. * * @param st The ServerThread to remove from the vector of active connections. */ public void kill(ServerThread st) { if (debug) System.out.println("Killing Client " + st.getID() + "."); /* Find the thread in the vector and remove it. */ for (int i = 0; i < serverthreads.size(); i++) { if (serverthreads.elementAt(i) == st) serverthreads.remove(i); } }