objdictgen/nodelist.py
changeset 505 88956169c8b5
parent 337 9aab477d8a8a
child 580 2ae92a99ac10
equal deleted inserted replaced
504:ad574af3628d 505:88956169c8b5
   128             
   128             
   129         result = self.SaveNodeList(netname)
   129         result = self.SaveNodeList(netname)
   130         if result != None:
   130         if result != None:
   131             return result
   131             return result
   132     
   132     
   133     def ImportEDSFile(self, edspath):
   133     def ImportEDSFile(self, edspath, force = False):
   134         dir, file = os.path.split(edspath)
   134         dir, file = os.path.split(edspath)
   135         eds = os.path.join(self.EDSFolder, file)
   135         eds = os.path.join(self.EDSFolder, file)
   136         if os.path.isfile(eds):
   136         if not force and os.path.isfile(eds):
   137             return "EDS file already imported"
   137             return "EDS file already imported"
   138         else:
   138         else:
   139             shutil.copy(edspath, self.EDSFolder)
   139             shutil.copy(edspath, self.EDSFolder)
   140             return self.LoadEDS(file)
   140             return self.LoadEDS(file)
   141     
   141