Franck Pommereau

more fix to pid kill

...@@ -320,7 +320,7 @@ def extend (module) : ...@@ -320,7 +320,7 @@ def extend (module) :
320 if len(prod) > 1 : 320 if len(prod) > 1 :
321 self.add_output(self.nextpids, trans.name, 321 self.add_output(self.nextpids, trans.name,
322 snk.MultiArc(prod.values())) 322 snk.MultiArc(prod.values()))
323 - elif len(cons) == 1 : 323 + elif len(prod) == 1 :
324 self.add_output(self.nextpids, trans.name, 324 self.add_output(self.nextpids, trans.name,
325 iter(prod.values()).next()) 325 iter(prod.values()).next())
326 return PetriNet, Transition, Pid, ("tPid", tPid), ("tNextPid", tNextPid) 326 return PetriNet, Transition, Pid, ("tPid", tPid), ("tNextPid", tNextPid)
......