hgext/inotify/__init__.py
changeset 6995 25619b72f86a
parent 6239 39cfcef4f463
child 6996 fecf060f32a1
--- a/hgext/inotify/__init__.py	Tue Aug 19 15:36:03 2008 -0700
+++ b/hgext/inotify/__init__.py	Sat Sep 06 12:48:52 2008 +0200
@@ -24,7 +24,10 @@
 
     class service:
         def init(self):
-            self.master = server.Master(ui, repo, timeout)
+            try:
+                self.master = server.Master(ui, repo, timeout)
+            except server.AlreadyStartedException, inst:
+                raise util.Abort(str(inst))
 
         def run(self):
             try: