private void handleLeave(Connection connection) throws IOException {
    IbisIdentifier ibis = new IbisIdentifier(connection.in());

    connection.sendOKReply();

    pool.leave(ibis);

    connection.close();
  }