static void endofprog(void * /* dummy */) { STOP_ACTIVE_PROFILES(); PRINT_PROFILE(); /* glutSetKeyRepeat(GLUT_KEY_REPEAT_ON); */ GfScrShutdown(); exit(0); }
void do_exit() { STOP_ACTIVE_PROFILES(); PRINT_PROFILE(); /* glutSetKeyRepeat(GLUT_KEY_REPEAT_ON); */ GfScrShutdown(); int re; re = free_shared_mem(user_input, shmid_input); // shm end (input) re = free_shared_mem(torcs_output, shmid_output); // shm end (output) printf("free shared memory with %d\n", re); exit(0); }