next up previous contents
suivant: int kill(int uid) monter: Gestion des processus précédent: int exec(char * file,   Table des matières

void exit(void)

Exit permet de terminer proprement un processus, en libérant les ressources précédemment allouées.



2003-03-30