|
Einfache Problemansicht anzeigen
[ Zu Notizen wechseln ]
|
[ erweiterte Anzeige ]
[ Problem-Historie ]
[ Drucken ]
|
|
ID |
Kategorie |
Auswirkung |
Reproduzierbar |
Meldungsdatum |
Letzte Aktualisierung |
|
0000026 |
[Cadmium] general |
kleinerer Fehler |
immer |
2008-11-02 19:19 |
2008-11-02 19:19 |
|
|
Reporter |
xclerc |
Anzeigestatus |
öffentlich |
|
|
Bearbeitung durch |
xclerc |
|
Priorität |
normal |
Lösung |
erledigt |
|
|
Status |
erledigt |
|
Produktversion |
1.0 |
|
|
Zusammenfassung |
0000026: Functions registered with "at_exit" called twice |
|
Beschreibung |
The functions registered with "Pervasives.at_exit" are called twice when
"Pervasives.exit" is called explicitly and the "stop-jvm" is enabled. |
|
Zusätzliche Information |
|
| Tags |
Keine Tags zugeordnet. |
|
|
Angehängte Dateien |
|
|
|
Problem-Beziehungen 
