summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--public/main.js9
1 files changed, 6 insertions, 3 deletions
diff --git a/public/main.js b/public/main.js
index 4080832..19a09bb 100644
--- a/public/main.js
+++ b/public/main.js
@@ -3,8 +3,9 @@
3function versMenu() 3function versMenu()
4{ 4{
5 // ergonomique 5 // ergonomique
6 window.setTimeout("location=('index.php?page=menu');", 10000); 6 window.setTimeout(function(){
7 //window.setTimeout(function(){location.href="index.php?page=menu"}, 10000); 7 location.href = "index.php?page=menu";
8 }, 10000);
8} 9}
9 10
10function deconnexionAutomatique() 11function deconnexionAutomatique()
@@ -85,5 +86,7 @@ function copierDansPressePapier(chaine)
85function nouveauMotdepasse(page) 86function nouveauMotdepasse(page)
86{ 87{
87 alert('Le mot de passe a été modifié.'); 88 alert('Le mot de passe a été modifié.');
88 window.setTimeout(location=('index.php?page=' + page + '&message=nouveau_mdp'), 0); 89 window.setTimeout(function(){
90 location.href = "index.php?page=" + page + "&message=nouveau_mdp";
91 }, 0);
89} 92}