-/* Executed on process termination, to display a message helping to understand the output */
-static int my_onexit(void* ignored1, void* ignored2)
-{
- XBT_INFO("Exiting now (done sleeping or got killed).");
- return 0;
-}
-
-/* Just sleep until termination */