objdictgen/nodelist.py
changeset 505 88956169c8b5
parent 337 9aab477d8a8a
child 580 2ae92a99ac10
--- 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)