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])