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, util |
9 import fancyopts, ui, hg, util |
10 from demandload import * |
10 from demandload import * |
11 demandload(globals(), "mdiff time hgweb traceback random signal socket errno version") |
11 demandload(globals(), "mdiff time hgweb traceback random signal") |
|
12 demandload(globals(), "socket errno version") |
12 |
13 |
13 class UnknownCommand(Exception): pass |
14 class UnknownCommand(Exception): pass |
14 |
15 |
15 def filterfiles(filters, files): |
16 def filterfiles(filters, files): |
16 l = [ x for x in files if x in filters ] |
17 l = [ x for x in files if x in filters ] |