Franck Pommereau

fixed kill in pids

...@@ -303,6 +303,10 @@ def extend (module) : ...@@ -303,6 +303,10 @@ def extend (module) :
303 prod[child] = snk.Tuple([snk.Variable(child), 303 prod[child] = snk.Tuple([snk.Variable(child),
304 snk.Value(0)]) 304 snk.Value(0)])
305 for pid in trans.pids.killed : 305 for pid in trans.pids.killed :
306 + if pid not in trans.pids.spawned :
307 + pidcount = trans.pids.next[pid]
308 + cons[pid] = snk.Tuple([snk.Variable(pid),
309 + snk.Variable(pidcount)])
306 prod.pop(pid, None) 310 prod.pop(pid, None)
307 if len(cons) > 1 : 311 if len(cons) > 1 :
308 self.add_input(self.nextpids, trans.name, 312 self.add_input(self.nextpids, trans.name,
......