diff options
author | stuebinm | 2022-09-11 13:07:02 +0200 |
---|---|---|
committer | stuebinm | 2022-09-11 13:07:02 +0200 |
commit | 46a24c8a90d4e6e794a2c6ed79da94e02e2c7eab (patch) | |
tree | 3fd4dac9910d58034a0d3a487a30fa2453dfc4a1 /lib/API.hs | |
parent | 9cb73aa181a8e28aea2268b8fdfd65332710a9fe (diff) |
on-board-unit: display estimated delay etc.
Diffstat (limited to 'lib/API.hs')
-rw-r--r-- | lib/API.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -56,7 +56,7 @@ type API = "stations" :> Get '[JSON] (Map StationID Station) -- TODO: perhaps require a first ping for registration? :<|> "train" :> "register" :> Capture "Trip ID" TripID :> ReqBody '[JSON] RegisterJson :> Post '[JSON] Token -- TODO: perhaps a websocket instead? - :<|> "train" :> "ping" :> ReqBody '[JSON] TrainPing :> Post '[JSON] NoContent + :<|> "train" :> "ping" :> ReqBody '[JSON] TrainPing :> Post '[JSON] (Maybe TrainAnchor) :<|> "train" :> "ping" :> "ws" :> WebSocket -- debug things :<|> "debug" :> "pings" :> Get '[JSON] (Map Token [TrainPing]) |