Bull DPS 7000 Guide De L'utilisateur page 42

GCOS 7 en bref Volume 1 - Mise en oeuvre
Absence de rechargement de GCOS 7
GCOS 7 n'est pas rechargé si le paramètre INIT AUTO a pour valeur 0. Pour que le
rechargement soit automatique, l'utilisateur doit attribuer la valeur 1 à ce paramètre (voir
procédure 3-2). Il doit ensuite réinitialiser le système au moyen de l'initiative SYSTEM
RESET puis réexécuter la procédure 3-1.
3-6 47 F2 20US Rev04