hgext/inotify/__init__.py
changeset 6997 9c4e488f105e
parent 6996 fecf060f32a1
child 6998 ddfcefab8b97
--- a/hgext/inotify/__init__.py	Sat Sep 06 12:49:20 2008 +0200
+++ b/hgext/inotify/__init__.py	Sat Sep 06 14:11:33 2008 +0200
@@ -58,7 +58,7 @@
                                           list_clean, list_unknown)
                     if result is not None:
                         return result
-            except socket.error, err:
+            except (OSError, socket.error), err:
                 if err[0] == errno.ECONNREFUSED:
                     ui.warn(_('(found dead inotify server socket; '
                                    'removing it)\n'))