fixed #1351 -- themes and plugins no longer auto-restart the server