Mantis - Cadmium
Erweiterte Problemanzeige
26 general kleinerer Fehler immer 2008-11-02 19:19 2008-11-02 19:19
xclerc  
xclerc  
normal  
erledigt 1.0  
erledigt  
keine    
keine 1.1  
0000026: Functions registered with "at_exit" called twice
The functions registered with "Pervasives.at_exit" are called twice when
"Pervasives.exit" is called explicitly and the "stop-jvm" is enabled.
Problem-Historie
2008-11-02 19:19 xclerc Neues Problem
2008-11-02 19:19 xclerc Status neu => erledigt
2008-11-02 19:19 xclerc Behoben in Version => 1.1
2008-11-02 19:19 xclerc Lösung offen => erledigt
2008-11-02 19:19 xclerc Bearbeitung durch => xclerc

Zu diesem Problem gibt es keine Notizen.