- /* FIXME: don't try to free our key on shutdown.
- Valgrind detects no leak if we don't, and whine if we try to */
- // int errcode;
-
- // if ((errcode=pthread_key_delete(xbt_self_thread_key)))
- // THROWF(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
- free(main_thread->name);