| 294,10 → 294,14 |
|---|
| modele.deconnecterUtilisateur(this); |
| } |
| |
| public void mettreAJourEtatIdentification(Utilisateur utilisateur) { |
| public void repandreEtatIdentification(Utilisateur utilisateur) { |
| // Mise à jour du registre |
| Registry.register(RegistreId.UTILISATEUR_COURANT, utilisateur); |
| |
| // Propagation de l'information de mise à jour de l'utilisateur |
| repandreInfoMiseAJourUtilisateur(); |
| } |
| |
| public void repandreInfoMiseAJourUtilisateur() { |
| // Création de l'information de mise à jour de l'utilisateur |
| Information info = new Information("maj_utilisateur"); |
| |
| 312,7 → 316,7 |
|---|
| // Rafraichissement du panneau Centre |
| if (panneauCentre != null) { |
| panneauCentre.rafraichir(info); |
| } |
| } |
| } |
| |
| public void modifierUtilisateur() { |
| 1030,8 → 1034,13 |
|---|
| |
| public void rafraichir(Object nouvellesDonnees) { |
| if (nouvellesDonnees instanceof Utilisateur) { |
| mettreAJourEtatIdentification((Utilisateur) nouvellesDonnees); |
| } else { |
| repandreEtatIdentification((Utilisateur) nouvellesDonnees); |
| } else if (nouvellesDonnees instanceof Information) { |
| Information info = (Information) nouvellesDonnees; |
| if (info.getType().equals("modification_personne")) { |
| repandreInfoMiseAJourUtilisateur(); |
| } |
| } else { |
| GWT.log(i18nM.erreurRafraichir(nouvellesDonnees.getClass(), this.getClass()), null); |
| } |
| } |