From 6df35ac1e63ed8598487af52a4250efff67824c4 Mon Sep 17 00:00:00 2001
From: Nick Hamilton <gitlab@deeplucid.xyz>
Date: Mon, 23 Nov 2020 08:39:26 +1000
Subject: [PATCH 1/2] tidy spaces

---
 IHP/AutoRefresh.hs | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/IHP/AutoRefresh.hs b/IHP/AutoRefresh.hs
index c42bde9b0..7288251b1 100644
--- a/IHP/AutoRefresh.hs
+++ b/IHP/AutoRefresh.hs
@@ -56,12 +56,12 @@ autoRefresh runAction = do
             id <- UUID.nextRandom
             let controllerContext = ?context
             let renderView = \requestContext -> let ?context = controllerContext { requestContext } in action ?theAction
-            
+
             putContext (AutoRefreshEnabled id)
-            
+
             -- We save the allowed session ids to the session cookie to only grant a client access
             -- to sessions it initially opened itself
-            -- 
+            --
             -- Otherwise you might try to guess session UUIDs to access other peoples auto refresh sessions
             setSession "autoRefreshSessions" (map UUID.toText (id:availableSessions) |> Text.intercalate "")
 
@@ -77,9 +77,9 @@ autoRefresh runAction = do
                             async (gcSessions autoRefreshServer)
 
                             registerNotificationTrigger ?touchedTables autoRefreshServer
-                            
+
                             throw exception
-                    
+
                 runAction `Exception.catch` handleResponse
         AutoRefreshEnabled {} -> do
             -- When this function calls the 'action ?theAction' in the other case
@@ -139,7 +139,7 @@ registerNotificationTrigger :: (?modelContext :: ModelContext) => IORef (Set Tex
 registerNotificationTrigger touchedTablesVar autoRefreshServer = do
     touchedTables <- Set.toList <$> readIORef touchedTablesVar
     subscribedTables <- (get #subscribedTables) <$> (autoRefreshServer |> readIORef)
-    
+
     let subscriptionRequired = touchedTables |> filter (\table -> subscribedTables |> Set.notMember table)
     modifyIORef autoRefreshServer (\server -> server { subscribedTables = get #subscribedTables server <> Set.fromList subscriptionRequired })
     forEach subscriptionRequired \table -> do

From ec49d94a98a082832a305a6883dd3a26bdf999f9 Mon Sep 17 00:00:00 2001
From: Nick Hamilton <gitlab@deeplucid.xyz>
Date: Mon, 23 Nov 2020 08:45:12 +1000
Subject: [PATCH 2/2] Fix incomplete patterns.

---
 IHP/AutoRefresh.hs | 2 ++
 IHP/WebSocket.hs   | 1 +
 2 files changed, 3 insertions(+)

diff --git a/IHP/AutoRefresh.hs b/IHP/AutoRefresh.hs
index 7288251b1..b22b01e27 100644
--- a/IHP/AutoRefresh.hs
+++ b/IHP/AutoRefresh.hs
@@ -79,6 +79,7 @@ autoRefresh runAction = do
                             registerNotificationTrigger ?touchedTables autoRefreshServer
 
                             throw exception
+                        _   -> error "Unimplemented WAI response type."
 
                 runAction `Exception.catch` handleResponse
         AutoRefreshEnabled {} -> do
@@ -109,6 +110,7 @@ instance WSApp AutoRefreshWSApp where
                         when (html /= lastResponse) do
                             updateSession sessionId (\session -> session { lastResponse = html })
                             sendTextData html
+                    _   -> error "Unimplemented WAI response type."
 
             async $ forever do
                 MVar.takeMVar event
diff --git a/IHP/WebSocket.hs b/IHP/WebSocket.hs
index 0673b5e1e..e4794928f 100644
--- a/IHP/WebSocket.hs
+++ b/IHP/WebSocket.hs
@@ -48,6 +48,7 @@ startWSApp connection = do
     let
         handleException Websocket.ConnectionClosed = onClose @state
         handleException (Websocket.CloseRequest {}) = onClose @state
+        handleException e = error ("Unhandled Websocket exception: " <> show e)
     result <- Exception.try ((Websocket.withPingThread connection 30 (onPing @state) (run @state)) `Exception.catch` handleException)
     case result of
         Left (Exception.SomeException e) -> putStrLn (tshow e)