private void handleLeave(Connection connection) throws IOException { IbisIdentifier ibis = new IbisIdentifier(connection.in()); connection.sendOKReply(); pool.leave(ibis); connection.close(); }