Don't shut down on campaign end option

Adds possibility to not shut down the server once campaign ends.
Useful for debugging.