Mises à jour du 9 et du 30 septembre

La mise à jour du 9 septembre permet de régler un problème bien précis sur l'impression d'EDT SEMAINE. En effet, sur les versions d'avant cette date, si un agent prenait son poste à certains horaires (voir ci-dessous), son service apparaissait au mauvais endroit dans la grille EDT SEMAINE.

Horaires de prise de poste posant problème :

  • 6h50
  • 6h55
  • 7h50
  • 7h55
  • 8h50
  • 8h55

La mise à jour du 30 septembre a réglé le problème suivant :

  • lorsqu'on change l'ordre des noms dans EQUIPE, il arrivait parfois que les panneaux JOUR ne s'actualisent pas immédiatement, induisant possiblement l'utilisateur en erreur.