girder/girder — pull request #534 by manthey (2014-12-02 16:42:17+00:00)
Title: Restart the server when plugins change.

When you enable or disable a plugin, offer to restart the server. Added an endpoint to restart the girder server.

I kept forgetting to restart girder when fooling with plugins, so I thought it was time to add this.

This addresses issue #452.