From a61e723811a9dfa276ffce112a844528b8d2ebbc Mon Sep 17 00:00:00 2001
From: Philippe Pittoli <karchnu@karchnu.fr>
Date: Sat, 23 Mar 2024 17:09:22 +0100
Subject: [PATCH] Tell the navbar when a disconnection happens.

---
 src/App/Container.purs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/App/Container.purs b/src/App/Container.purs
index 7340344..6795452 100644
--- a/src/App/Container.purs
+++ b/src/App/Container.purs
@@ -588,6 +588,8 @@ handleAction = case _ of
   Disconnection -> do
     H.put $ initialState unit
 
+    handleAction $ ToggleAuthenticated Nothing
+
     -- Remove all stored session data.
     sessionstorage <- H.liftEffect $ Window.sessionStorage =<< HTML.window
     H.liftEffect $ Storage.clear sessionstorage