diff -r ad574af3628d -r 88956169c8b5 objdictgen/nodelist.py --- a/objdictgen/nodelist.py Fri Jul 25 10:57:20 2008 +0200 +++ b/objdictgen/nodelist.py Fri Jul 25 16:36:23 2008 +0200 @@ -130,10 +130,10 @@ if result != None: return result - def ImportEDSFile(self, edspath): + def ImportEDSFile(self, edspath, force = False): dir, file = os.path.split(edspath) eds = os.path.join(self.EDSFolder, file) - if os.path.isfile(eds): + if not force and os.path.isfile(eds): return "EDS file already imported" else: shutil.copy(edspath, self.EDSFolder)