brunch/brunch — pull request #551 by es128 (2013-05-06 16:10:17+00:00)
Title: close plugin servers before restart

Auto-reload still threw after a config change or similar restart. This fixes it.