Beispiel #1
0
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);
}