424: server command cannot be stopped without killing sd shell

• Show
• History

Comments

• 2009-08-15 13:20:03 spang@bestpractical.com
  The only way to stop the server is to kill it, and if you Ctrl-c it, you'll kill the shell as well.