From 6c0f21b276ad73f383a80fe00729c6520a6b874a Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Tue, 13 Dec 2022 00:30:21 +0100
Subject: simple realtime position map

(what was that about doing the realtime stuff somewhere else and /not/
in this monolithic server thingie? oh well …)
---
 lib/API.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/API.hs')

diff --git a/lib/API.hs b/lib/API.hs
index 3e29249..775bc4c 100644
--- a/lib/API.hs
+++ b/lib/API.hs
@@ -61,7 +61,7 @@ type API = "stations" :> Get '[JSON] (Map StationID Station)
   -- TODO: perhaps a websocket instead?
   :<|> "train" :> "ping" :> ReqBody '[JSON] TrainPing :> Post '[JSON] (Maybe TrainAnchor)
   :<|> "train" :> "ping" :> "ws" :> WebSocket
-  :<|> "train" :> "subscribe" :> Capture "Trip ID" TripID :> WebSocket
+  :<|> "train" :> "subscribe" :> Capture "Trip ID" TripID :> Capture "Day" Day :> WebSocket
   -- debug things
   :<|> "debug" :> "pings" :> Get '[JSON] (Map Token [TrainPing])
   :<|> "debug" :> "pings" :> Capture "Trip ID" TripID :> Capture "day" Day :> Get '[JSON] [TrainPing]
-- 
cgit v1.2.3