diff -r 2fd92922bf5c -r 01c2b1268053 dbrtools/dbr/dbrutils.py --- a/dbrtools/dbr/dbrutils.py Wed Mar 17 13:34:22 2010 +0000 +++ b/dbrtools/dbr/dbrutils.py Mon Mar 22 11:35:04 2010 +0000 @@ -258,3 +258,18 @@ # env[fn] = data print '\n' return env + +def readfilenamesfromfile(filename): + files = set() + f = open(filename, 'r') + + fixpath = re.compile('\\\\') + leadingslash = re.compile('^%s' % fixpath.sub('/',epocroot())) + newline = re.compile('\n') + for line in f: + line = newline.sub('',line) + name = string.lower(leadingslash.sub('',fixpath.sub('/',line))) + files.add(name) + f.close() + return files +