equal
deleted
inserted
replaced
6 # of the GNU General Public License, incorporated herein by reference. |
6 # of the GNU General Public License, incorporated herein by reference. |
7 |
7 |
8 import os, re, sys, signal |
8 import os, re, sys, signal |
9 import fancyopts, ui, hg |
9 import fancyopts, ui, hg |
10 from demandload import * |
10 from demandload import * |
11 demandload(globals(), "mdiff time hgweb traceback random signal") |
11 demandload(globals(), "mdiff time hgweb traceback random signal errno") |
12 |
12 |
13 class UnknownCommand(Exception): pass |
13 class UnknownCommand(Exception): pass |
14 |
14 |
15 def filterfiles(filters, files): |
15 def filterfiles(filters, files): |
16 l = [ x for x in files if x in filters ] |
16 l = [ x for x in files if x in filters ] |
741 except SignalInterrupt: |
741 except SignalInterrupt: |
742 u.warn("killed!\n") |
742 u.warn("killed!\n") |
743 except KeyboardInterrupt: |
743 except KeyboardInterrupt: |
744 u.warn("interrupted!\n") |
744 u.warn("interrupted!\n") |
745 except IOError, inst: |
745 except IOError, inst: |
746 if inst.errno == 32: |
746 if inst.errno == errno.EPIPE: |
747 u.warn("broken pipe\n") |
747 u.warn("broken pipe\n") |
748 else: |
748 else: |
749 raise |
749 raise |
750 except TypeError, inst: |
750 except TypeError, inst: |
751 # was this an argument error? |
751 # was this an argument error? |