Beispiel #1
0
 def loadExec(self):
   self.ex_type = self.input_file('Problem/executor','not found')
   print 'Loading executor',self.ex_type
   self.ex=Exec.newExecutor(self.ex_type,self.input_file,self.restart)