scripts/distbuild: Ensure process names are unique

Previously, duplicate names would cause the ProcessMonitor class to
forget about processes, and leave them running after the process exits.

1 files changed, 3 insertions, 0 deletions

diff --git a/scripts/distbuild b/scripts/distbuild
index 2f0e666e..df4e4dea 100755
--- a/scripts/distbuild
+++ b/scripts/distbuild
@@ -223,6 +223,9 @@ class ProcessMonitor(object):
 
     def watch(self, process):
         '''Start monitoring a running process.'''
+        if process.name in self.process:
+            raise KeyError('Already watching a process named %s.' %
+                           process.name)
         self.process[process.name] = process
 
     def check_all(self):