java_objectheader *exceptionptr;
void *dummy;
-
/********** interne (nur fuer main relevante Optionen) **************/
char logfilename[200] = "";
#endif
+ atexit(clear_thread_flags);
+
/************ Infos aus der Environment lesen ************************/
cp = getenv ("CLASSPATH");