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