Modification Des Opérateurs; Comment Modifier Un Opérateur Existant - Frama F 9 Série Guide Utilisateur

3. S lectionnez
L' cran Ajout op rateur s'affiche.
4. Saisissez les options que vous souhaitez pr voir pour cet op rateur.
5. Dans les crans Liste des comptes, s lectionnez les comptes (ou les
groupes/sous-groupes) que l'op rateur sera autoris à utiliser. Vous pouvez ex cuter
cette tape ult rieurement : voir
page 129.
6. Appuyez sur [OK].
L' cran Cr ation op rateur s'affiche.
7. Appuyez sur [OK] pour cr er l'op rateur.
Modification des opérateurs
Suivez les tapes d crites ci-dessous pour modifier le nom, le code PIN, l' tat d'un op rateur
ou les comptes qui lui sont attribu s.
Comment modifier un opérateur existant
Pour modifier un opérateur existant :
1. En tant que superviseur (voir
à la page 171) :
Appuyez sur
des opérateurs
La fenêtre Gestion des op rateurs s'ouvre.
2. S lectionnez
Ajout opérateur.
Comment affecter des comptes à un op rateur
Proc dure pour se connecter en tant que superviseur
et s lectionnez le chemin :
Liste des opérateurs.
Gestion des comptes
5
à la
Gestion
127