-
Millian Poquet authored
Gestion du kill de jobs. Deux process MSG sont créés : un pour le launch et un autre pour le kill. Ces deux process se connaissent (utilisation d'une barrière de synchro dans ce but). Ainsi, lorsqu'un des process termine, il tue l'autre. L'utilisation d'une structure de données pour stocker les allocations faites par le launcher devrait permettre d'éviter les fuites mémoires.
412b555b