Option to not shut down on campaign end 

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