Guide des développeurs pour les services de données Sun Cluster 3.1 10/03

Menu Éditer

Le menu Éditer comprend des commandes permettant d'effacer et d'enregistrer le journal :