public void in_event() {

        while (true) {

            //  Get the next command. If there is none, exit.
            Command cmd = mailbox.recv (0);
            if (cmd == null)
                break;
                
            //  Process the command.
            cmd.destination().process_command (cmd);
        }

    }