Domain list: do not see disconnected user domain list.
parent
7d94cf587d
commit
4d93cbc79f
|
@ -632,6 +632,8 @@ handleAction = case _ of
|
||||||
H.modify_ _ { notif = NoNotification }
|
H.modify_ _ { notif = NoNotification }
|
||||||
|
|
||||||
Disconnection -> do
|
Disconnection -> do
|
||||||
|
handleAction $ Routing Home
|
||||||
|
|
||||||
H.put $ initialState unit
|
H.put $ initialState unit
|
||||||
|
|
||||||
handleAction $ ToggleAuthenticated Nothing
|
handleAction $ ToggleAuthenticated Nothing
|
||||||
|
@ -640,8 +642,6 @@ handleAction = case _ of
|
||||||
sessionstorage <- H.liftEffect $ Window.sessionStorage =<< HTML.window
|
sessionstorage <- H.liftEffect $ Window.sessionStorage =<< HTML.window
|
||||||
H.liftEffect $ Storage.clear sessionstorage
|
H.liftEffect $ Storage.clear sessionstorage
|
||||||
|
|
||||||
handleAction $ Routing Home
|
|
||||||
|
|
||||||
-- | `dnsmanagerd websocket component` wants to do something.
|
-- | `dnsmanagerd websocket component` wants to do something.
|
||||||
DNSManagerDaemonEvent ev -> case ev of
|
DNSManagerDaemonEvent ev -> case ev of
|
||||||
WS.MessageReceived (Tuple _ message) -> do
|
WS.MessageReceived (Tuple _ message) -> do
|
||||||
|
|
Loading…
Reference in New Issue