dbrtools/dbr/dbrutils.py
changeset 208 01c2b1268053
parent 203 e274d29c8bc9
child 211 fc3107523c38
--- 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
+