/**
* 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);
}
}
