diff client.js @ 40:bd343ef0942f

mathieui: Reload the page on logout.
author Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
date Sat, 23 May 2020 18:03:38 +0200
parents d9da5c3e305d
children fe59565063af
line wrap: on
line diff
--- a/client.js
+++ b/client.js
@@ -148,5 +148,6 @@ document.addEventListener('DOMContentLoa
         while (table.hasChildNodes()) {
             table.removeChild(table.lastChild);
         }
+        location.reload();
     }
 });