Mantis - Cadmium
Erweiterte Problemanzeige
3 general kleinerer Fehler immer 2007-09-14 10:20 2007-09-14 16:36
xclerc  
xclerc  
normal  
erledigt 1.0alpha  
erledigt  
keine    
keine 1.0alpha  
0000003: Pervasives.do_at_exit not call when exit occurs in a callback
When "exit" is called in a callback, if "isExitSoppingJVM" is false, then the callback named
"Pervasives.do_at_exit" is not called.
Problem-Historie
2007-09-14 10:20 xclerc Neues Problem
2007-09-14 10:21 xclerc Status neu => zugewiesen
2007-09-14 10:21 xclerc Bearbeitung durch => xclerc
2007-09-14 16:36 xclerc Status zugewiesen => erledigt
2007-09-14 16:36 xclerc Behoben in Version => 1.0alpha
2007-09-14 16:36 xclerc Lösung offen => erledigt

Zu diesem Problem gibt es keine Notizen.