Next: Quelques Mots sur les Up: L'editeur Previous: Espace de travail

session et fin de session

 

On nomme session le fait de se faire identifier par le système, et de pouvoir travailler avec l'identité fournie, vous devez terminer cette session si vous ne voulez pas que quelqu'un d'autre utilise le terminal après vous avec vos droits!

Un processus est responsable de la session. La destruction de ce processus termine la session.

Pour simplifier l'interface standard associe la fin de session au bouton SORTIE de la barre de boutons, mais il est plus prudent de sortir proprement des applications une par une puis de sortir.

Eviter d'éteindre les terminaux, la procédure de boot c'est à dire de chargement du code permettant au terminal de fonctionner est très coûteuse en ressources. Faire redémarrer le terminal pénalise les autres utilisateurs. C'est un des inconvénients des machines multi-utilisateurs à temps partagé.



Dominique Revuz
Thu May 16 16:19:15 METDST 1996