Fonctionnement

• Le nom de la présente page web est "_OCCUPE.html"
• Si cette page web est absente du site du GRUTEAM, alors c'est que personne n'est en train de le modifier.
  Si cette page web est présente sur le site du GRUTEAM, alors c'est que quelqu'un est en train de le modifier.
• On suppose que tous les membres du GRUTEAM ont cette page web stockée sur leur ordinateur.

Pour modifier le site du GRUTEAM

• Si vous constatez que le fichier "_OCCUPE.html" est déjà présent sur le serveur, c'est que quelqu'un est déjà en train de modifier le site : vous ne pouvez donc pas vous-même le modifier, car vous devez attendre que votre collègue ait fini.
• Sinon, à l'aide de Cyberduck (ou d'un logiciel semblable), essayez de transférer le fichier "_OCCUPE.html" de votre ordinateur vers le serveur du GRUTEAM
• Si, avant le transfert, Cyberduck vous demande la permission de remplacer le fichier "_OCCUPE.html", c'est que ce fichier était déjà présent sur le serveur, et donc que quelqu'un vient juste de demander (quelques instants avant vous) de modifier le site : il vient de vous couper l'herbe sous le pied, et vous devez attendre que votre collègue ait fini.
• Si le transfert s'effectue sans qu'aucune conformation ne vous soit demandée, c'est que le fichier "_OCCUPE.html" n'était pas présent sur le serveur, et donc que personne n'était en train de modifier le site : vous avez le feu vert pour continuer.
• Téléchargez sur votre ordinateur les fichiers que vous voulez modifier.
• Effectuez les modifications désirées (avec BlueGriffon ou d'autres logiciels).
• Téléversez sur le serveur les fichiers mofifiés et/ou ajoutés.
• Quand vous avez terminé, ne pas oublier de détruire le fichier "_OCCUPE.html" sur le serveur, afin de permettre aux collègues d'apporter leurs modifications.
• Pour pallier à d'éventuelles distractions, on pourrait convenir qu'un fichier "_OCCUPE.html" vieux de plus de six heures est réputé invalide, et peut être détruit.