aboutsummaryrefslogtreecommitdiff
path: root/lib/API.hs
diff options
context:
space:
mode:
authorstuebinm2022-12-13 00:30:21 +0100
committerstuebinm2022-12-13 00:30:21 +0100
commit6c0f21b276ad73f383a80fe00729c6520a6b874a (patch)
treea8d89dd98b94f2752c82ac97af093794e0e528a5 /lib/API.hs
parent7d94d4d02bc729a1879524ff9420cf4a2f697afd (diff)
simple realtime position map
(what was that about doing the realtime stuff somewhere else and /not/ in this monolithic server thingie? oh well …)
Diffstat (limited to 'lib/API.hs')
-rw-r--r--lib/API.hs2
1 files changed, 1 insertions, 1 deletions
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]