clean up children at exit -- had about twenty processes all watching and recompiling the docs

This commit is contained in:
Jeremy Ashkenas
2009-12-21 12:15:13 -05:00
parent c7fa9c320a
commit 9bb3e3fbe8
2 changed files with 4 additions and 1 deletions

View File

@@ -65,6 +65,7 @@ Usage:
sleep WATCH_INTERVAL
end
end
Signal.trap("INT") { watch_thread.kill }
watch_thread.join
end