233234235236237238239240241242243
{ server.exit(exitcode); } else if (halt) { server.halt(exitcode); } else { server.shutdown(); }