hgext/inotify/__init__.py
changeset 7217 9fa2f8dcb869
parent 7083 9dcce703edb8
child 7218 1bd7f90465b3
--- a/hgext/inotify/__init__.py	Wed Oct 22 17:34:52 2008 -0500
+++ b/hgext/inotify/__init__.py	Wed Oct 22 17:41:41 2008 -0500
@@ -85,6 +85,8 @@
                         except socket.error, err:
                             ui.warn(_('could not talk to new inotify '
                                            'server: %s\n') % err[-1])
+                elif err[0] == errno.ENOENT:
+                    ui.warn(_('(inotify server not running)\n'))
                 else:
                     ui.warn(_('failed to contact inotify server: %s\n')
                              % err[-1])