# HG changeset patch
# User Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
# Date 1590249818 -7200
# Node ID bd343ef0942f7d965296dc19aac7ec9c85eff761
# Parent  faf2283e2bd6985e9c744d4f50bbd7c5f44caa0b
mathieui: Reload the page on logout.

diff --git a/client.js b/client.js
--- a/client.js
+++ b/client.js
@@ -148,5 +148,6 @@ document.addEventListener('DOMContentLoa
         while (table.hasChildNodes()) {
             table.removeChild(table.lastChild);
         }
+        location.reload();
     }
 });