@@ -19,9 +19,13 @@ module Language.Javascript.JSaddle.WebSockets (
1919 jsaddleOr
2020 , jsaddleApp
2121 , jsaddleWithAppOr
22+ , jsaddleAppWithJs
23+ , jsaddleAppWithJsOr
2224 , jsaddleAppPartial
2325 , jsaddleJs
26+ , jsaddleJs'
2427 , debug
28+ , debugOr
2529 , debugWrapper
2630) where
2731
@@ -38,7 +42,6 @@ import Network.Wai
3842import Network.WebSockets
3943 (defaultConnectionOptions, ConnectionOptions(..), sendTextData,
4044 receiveDataMessage, acceptRequest, ServerApp, sendPing)
41−import qualified Network.WebSockets as WS (DataMessage(..))
4245import Network.Wai.Handler.WebSockets (websocketsOr)
4346import Network.HTTP.Types (Status(..))
4447
@@ -57,42 +60,57 @@ import qualified Data.Map as M (empty, insert, lookup)
5760import Data.IORef
5861 (readIORef, newIORef, atomicModifyIORef')
5962import Data.ByteString.Lazy (ByteString)
63+import qualified Data.ByteString.Lazy as LBS
64+ (toStrict, stripPrefix)
6065import Control.Concurrent.MVar
6166 (tryTakeMVar, MVar, tryPutMVar, modifyMVar_, putMVar, takeMVar,
6267 readMVar, newMVar, newEmptyMVar, modifyMVar)
6368import Network.Wai.Handler.Warp
6469 (defaultSettings, setTimeout, setPort, runSettings)
65−import Foreign.Store (newStore, readStore, lookupStore)
70+import Foreign.Store (readStore, lookupStore, writeStore, Store(..))
6671import Language.Javascript.JSaddle (askJSM)
6772import Control.Monad.IO.Class (MonadIO(..))
6873
74+import Language.Javascript.JSaddle.WebSockets.Compat (getTextMessageByteString)
75+import qualified Data.Text.Encoding as T (decodeUtf8)
76+
6977jsaddleOr :: ConnectionOptions -> JSM () -> Application -> IO Application
7078jsaddleOr opts entryPoint otherApp = do
7179 syncHandlers <- newIORef M.empty
80+ asyncHandlers <- newIORef M.empty
7281 let wsApp :: ServerApp
7382 wsApp pending_conn = do
7483 conn <- acceptRequest pending_conn
75− rec (processResult, processSyncResult, start) <- runJavaScript (sendTextData conn . encode) $ do
76− syncKey <- T.pack . show . contextId <$> askJSM
77− liftIO $ atomicModifyIORef' syncHandlers (\m -> (M.insert syncKey processSyncResult m, ()))
78− liftIO $ sendTextData conn (encode syncKey)
79− entryPoint
80− _ <- forkIO . forever $
81− receiveDataMessage conn >>= \case
82− (WS.Text t) ->
83− case decode t of
84− Nothing -> error $ "jsaddle Results decode failed : " <> show t
85− Just r -> processResult r
86− _ -> error "jsaddle WebSocket unexpected binary data"
87− start
88− waitTillClosed conn
84+ initMsg <- receiveDataMessage conn
85+ case getTextMessageByteString initMsg of
86+ Just "" -> do
87+ rec (processResult, processSyncResult, start) <- runJavaScript (sendTextData conn . encode) $ do
88+ syncKey <- T.pack . show . contextId <$> askJSM
89+ liftIO $ atomicModifyIORef' syncHandlers (\m -> (M.insert syncKey processSyncResult m, ()))
90+ liftIO $ atomicModifyIORef' asyncHandlers (\m -> (M.insert syncKey processResult m, ()))
91+ liftIO $ sendTextData conn (encode syncKey)
92+ entryPoint
93+ start
94+ waitTillClosed conn
95+ Just syncKey ->
96+ M.lookup (T.decodeUtf8 $ LBS.toStrict syncKey) <$> readIORef syncHandlers >>= \case
97+ Nothing -> error "jsaddle missing sync message handler"
98+ Just processResult ->
99+ forever $
100+ receiveDataMessage conn >>= \msg -> case getTextMessageByteString msg of
101+ Just t ->
102+ case decode t of
103+ Nothing -> error $ "jsaddle Results decode failed : " <> show t
104+ Just r -> processResult r
105+ _ -> error "jsaddle WebSocket unexpected binary data"
106+ _ -> error "jsaddle WebSocket unexpected binary data"
89107
90108 -- Based on Network.WebSocket.forkPingThread
91109 waitTillClosed conn = ignore `handle` go 1
92110 where
93111 go :: Int -> IO ()
94112 go i = do
95− threadDelay (1 * 1000 * 1000)
113+ threadDelay (10 * 1000 * 1000)
96114 sendPing conn (T.pack $ show i)
97115 go (i + 1)
98116
@@ -125,9 +143,14 @@ jsaddleApp = jsaddleAppWithJs $ jsaddleJs False
125143
126144jsaddleAppWithJs :: ByteString -> Application
127145jsaddleAppWithJs js req sendResponse =
128− fromMaybe
129− (sendResponse $ W.responseLBS H.status403 [("Content-Type", "text/plain")] "Forbidden")
130− (jsaddleAppPartialWithJs js req sendResponse)
146+ jsaddleAppWithJsOr js
147+ (\_ _ -> sendResponse $ W.responseLBS H.status403 [("Content-Type", "text/plain")] "Forbidden")
148+ req sendResponse
149+
150+jsaddleAppWithJsOr :: ByteString -> Application -> Application
151+jsaddleAppWithJsOr js otherApp req sendResponse =
152+ fromMaybe (otherApp req sendResponse)
153+ (jsaddleAppPartialWithJs js req sendResponse)
131154
132155jsaddleWithAppOr :: ConnectionOptions -> JSM () -> Application -> IO Application
133156jsaddleWithAppOr opts entryPoint otherApp = jsaddleOr opts entryPoint $ \req sendResponse ->
@@ -146,32 +169,49 @@ jsaddleAppPartialWithJs js req sendResponse = case (W.requestMethod req, W.pathI
146169 ("GET", ["jsaddle.js"]) -> Just $ sendResponse $ W.responseLBS H.status200 [("Content-Type", "application/javascript")] js
147170 _ -> Nothing
148171
172+jsaddleJs :: Bool -> ByteString
173+jsaddleJs = jsaddleJs' Nothing
174+
149175-- Use this to generate this string for embedding
150176-- sed -e 's|\\|\\\\|g' -e 's|^| \\|' -e 's|$|\\n\\|' -e 's|"|\\"|g' data/jsaddle.js | pbcopy
151−jsaddleJs :: Bool -> ByteString
152−jsaddleJs refreshOnLoad = "\
153− \if(typeof global !== \"undefined\") {\n\
177+jsaddleJs' :: Maybe ByteString -> Bool -> ByteString
178+jsaddleJs' jsaddleUri refreshOnLoad = "\
179+ \if(typeof global !== \"undefined\" && typeof require === \"function\") {\n\
154180 \ global.window = global;\n\
155181 \ global.WebSocket = require('ws');\n\
156182 \}\n\
157183 \\n\
158184 \var connect = function() {\n\
159− \ var wsaddress = window.location.protocol.replace('http', 'ws')+\"//\"+window.location.hostname+(window.location.port?(\":\"+window.location.port):\"\");\n\
185+ \ var wsaddress = "
186+ <> maybe "window.location.protocol.replace('http', 'ws')+\"//\"+window.location.hostname+(window.location.port?(\":\"+window.location.port):\"\")"
187+ (\ s -> "\"ws" <> s <> "\"")
188+ (jsaddleUri >>= LBS.stripPrefix "http")
189+ <> ";\n\
160190 \\n\
161− \ var ws = new WebSocket(wsaddress);\n\
191+ \ var ws0 = new WebSocket(wsaddress);\n\
162192 \ var syncKey = \"\";\n\
163193 \\n\
164− \ ws.onopen = function(e) {\n\
194+ \ ws0.onopen = function(e) {\n\
195+ \ ws0.send(\"\");\n\
196+ \ var initialResults = [];\n\
197+ \ var ws = {send: function(m) {initialResults.push(m);}};\n\
165198 \ " <> initState <> "\n\
166199 \\n\
167− \ ws.onmessage = function(e) {\n\
200+ \ ws0.onmessage = function(e) {\n\
168201 \ var batch = JSON.parse(e.data);\n\
169202 \ if(inCallback > 0) {\n\
170203 \ asyncBatch = batch;\n\
171204 \ return;\n\
172205 \ }\n\
173206 \ if(typeof batch === \"string\") {\n\
174− \ syncKey = batch;\n" <>
207+ \ syncKey = batch;\n\
208+ \ var ws1 = new WebSocket(wsaddress);\n\
209+ \ ws1.onopen = function(e) {\n\
210+ \ ws1.send(syncKey);\n\
211+ \ initialResults.forEach(function(m){ ws1.send(m); });\n\
212+ \ initialResults = null;\n\
213+ \ ws = ws1;\n\
214+ \ }\n" <>
175215 (if refreshOnLoad
176216 then " var xhr = new XMLHttpRequest();\n\
177217 \ xhr.open('POST', '/reload/'+syncKey, true);\n\
@@ -187,13 +227,13 @@ jsaddleJs refreshOnLoad = "\
187227 \ " <> runBatch (\a -> "ws.send(JSON.stringify(" <> a <> "));")
188228 (Just (\a -> "(function(){\n\
189229 \ var xhr = new XMLHttpRequest();\n\
190− \ xhr.open('POST', '/sync/'+syncKey, false);\n\
230+ \ xhr.open('POST', '" <> fromMaybe "" jsaddleUri <> "/sync/'+syncKey, false);\n\
191231 \ xhr.setRequestHeader(\"Content-type\", \"application/json\");\n\
192232 \ xhr.send(JSON.stringify(" <> a <> "));\n\
193233 \ return JSON.parse(xhr.response);})()")) <> "\
194234 \ };\n\
195235 \ };\n\
196− \ ws.onerror = function() {\n\
236+ \ ws0.onerror = function() {\n\
197237 \ setTimeout(connect, 1000);\n\
198238 \ };\n\
199239 \}\n\
@@ -212,6 +252,13 @@ debug port f = do
212252 jsaddleOr defaultConnectionOptions (registerContext >> f >> syncPoint) (withRefresh $ jsaddleAppWithJs $ jsaddleJs True)
213253 putStrLn $ "<a href=\"http://localhost:" <> show port <> "\">run</a>"
214254
255+debugOr :: Int -> JSM () -> Application -> IO ()
256+debugOr port f b = do
257+ debugWrapper $ \withRefresh registerContext ->
258+ runSettings (setPort port (setTimeout 3600 defaultSettings)) =<<
259+ jsaddleOr defaultConnectionOptions (registerContext >> f >> syncPoint) (withRefresh $ jsaddleAppWithJsOr (jsaddleJs True) b)
260+ putStrLn $ "<a href=\"http://localhost:" <> show port <> "\">run</a>"
261+
215262refreshMiddleware :: ((Response -> IO ResponseReceived) -> IO ResponseReceived) -> Middleware
216263refreshMiddleware refresh otherApp req sendResponse = case (W.requestMethod req, W.pathInfo req) of
217264 ("POST", ["reload", _syncKey]) -> refresh sendResponse
@@ -260,13 +307,13 @@ debugWrapper run = do
260307 start' <- takeMVar mvar
261308 n <- stop
262309 start' n >>= restarter mvar
263− lookupStore shutdown_0 >>= \case
310+ lookupStore storeId >>= \case
264311 Nothing -> do
265312 restartMVar <- newMVar start
266313 void . forkIO $ restarter restartMVar (return 0)
267− void $ newStore restartMVar
314+ void $ writeStore (Store storeId) restartMVar
268315 Just shutdownStore -> do
269316 restartMVar :: MVar (Int -> IO (IO Int)) <- readStore shutdownStore
270317 void $ tryTakeMVar restartMVar
271318 putMVar restartMVar start
272− where shutdown_0 = 0
319+ where storeId = 354