Fixing batch-edit issue. Saving a single python file should now kill the server, and after 3 seconds the server is restarted. All changes during the 3 second window cause the delay to be reset.
Merge branch 'master' of github.com:dzaman/forerunner