equal
deleted
inserted
replaced
88 else: |
88 else: |
89 ui.warn(_('failed to contact inotify server: %s\n') |
89 ui.warn(_('failed to contact inotify server: %s\n') |
90 % err[-1]) |
90 % err[-1]) |
91 ui.print_exc() |
91 ui.print_exc() |
92 # replace by old status function |
92 # replace by old status function |
93 ui.warn(_('deactivating inotify\n')) |
|
94 self.status = super(inotifydirstate, self).status |
93 self.status = super(inotifydirstate, self).status |
95 |
94 |
96 return super(inotifydirstate, self).status( |
95 return super(inotifydirstate, self).status( |
97 match, ignored, clean, unknown) |
96 match, ignored, clean, unknown) |
98 |
97 |