diff options
author | stuebinm | 2022-12-13 00:30:21 +0100 |
---|---|---|
committer | stuebinm | 2022-12-13 00:30:21 +0100 |
commit | 6c0f21b276ad73f383a80fe00729c6520a6b874a (patch) | |
tree | a8d89dd98b94f2752c82ac97af093794e0e528a5 /lib/API.hs | |
parent | 7d94d4d02bc729a1879524ff9420cf4a2f697afd (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.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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] |