[messages] [General Discussion] Re: [General Discussion] Re: setup own server

Joel Uckelman uckelman at nomic.net
Mon Mar 7 11:41:41 MST 2011


Thus spake Calsir:
> > 
> > Why do you have to kill the VM?!
> > 
> 
> Because I am too lazy to look in the code for command line options to
> find one that properly exits the server :P. I will look into it further.

Oh, you're talking about the *server*. Yeah, you just have to kill that.
I know of no way to shut it down cleanly.

-- 
J.


More information about the messages mailing list