Closed NicolasFloquet closed 9 years ago
Lorsque j'ai ajouté ce commentaire, je me suis peut etre demandé si on ne pouvait pas faire un wait ou un truc du genre. En tout cas, faire un while(1) en attendant le rescheduling, c'est moyen.
Est-ce qu'on peut pas simplement laisser init se terminer ?
C'est vrai que pour le moment on a aucun intérêt à laisser init tourner, donc effectivement le mieux serait de le laisser finir normalement.
Personnellement je ne vois pas le problème. Une suggestion?