Simple configurable server restarting plugin.