Closed GoogleCodeExporter closed 9 years ago
[deleted comment]
[deleted comment]
Original comment by dani...@hotmail.com
on 10 Nov 2009 at 11:27
Original comment by dani...@hotmail.com
on 10 Nov 2009 at 11:44
Première partie du patch. Reste la partie concernant la fin d'un match.
Original comment by dani...@hotmail.com
on 11 Nov 2009 at 12:12
Attachments:
Original comment by dani...@hotmail.com
on 11 Nov 2009 at 10:36
r190
Un nouveau match peut être lancé entre le moment où le match se termine et
le moment
où le fichier de configuration par défaut est exécuté. Dans ce cas, le
fichier de
config par défaut n'est jamais lancé car tous les timers en cours sont
détruits.
Original comment by dani...@hotmail.com
on 11 Nov 2009 at 10:52
Original issue reported on code.google.com by
dani...@hotmail.com
on 10 Nov 2009 at 3:29