PLCGenerator.py
changeset 1358 fe7770a30527
parent 1322 0a9227f743b3
child 1418 c97dc5281419
equal deleted inserted replaced
1357:b8d577c7eb4b 1358:fe7770a30527
   324         
   324         
   325         if extra_global_vars is not None:
   325         if extra_global_vars is not None:
   326             configuration.remove(extra_global_vars)
   326             configuration.remove(extra_global_vars)
   327         else:
   327         else:
   328             for variable in extra_variables:
   328             for variable in extra_variables:
   329                 varlists[-1][1].remove(variable)
   329                 varlists[-1][0].remove(variable)
   330         
   330         
   331         # Generate any resource in the configuration
   331         # Generate any resource in the configuration
   332         for resource in configuration.getresource():
   332         for resource in configuration.getresource():
   333             config += self.GenerateResource(resource, configuration.getname())
   333             config += self.GenerateResource(resource, configuration.getname())
   334         config += [("END_CONFIGURATION\n", ())]
   334         config += [("END_CONFIGURATION\n", ())]