server/server can NOT be shut down with Ctrl-C. Fix it.