Change how the local server is shutdown on Linux/OSX.
Some more style tweaks.