diff options
author | stuebinm | 2022-04-03 02:33:37 +0200 |
---|---|---|
committer | stuebinm | 2022-04-03 02:33:37 +0200 |
commit | 1db21885df2bd99d65a5aac43bd7fc35ea0ff767 (patch) | |
tree | 47411b012eb3b97767c0b3b4212390046b779a0a /server/Handlers.hs | |
parent | dea6636bde162f0ce762cc3567b92a0e1255ce54 (diff) |
server: fix map paths in api
Diffstat (limited to 'server/Handlers.hs')
-rw-r--r-- | server/Handlers.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/server/Handlers.hs b/server/Handlers.hs index d42e74d..39995dc 100644 --- a/server/Handlers.hs +++ b/server/Handlers.hs @@ -31,8 +31,8 @@ import Network.WebSockets (PendingConnection, acceptRequest, import Servant (Handler, err404, throwError) import Server (JobStatus (..), Org (orgUrl), RemoteRef (reponame), ServerState, - Sha1, adjustedPath, getJobStatus, - unState) + Sha1, getJobStatus, + unState, adjustedWebPath) import Worker (Job (Job)) @@ -60,7 +60,7 @@ instance ToJSON MapService where mapInfo rev mappath MapResult { .. } = A.object [ "badges" .= mapresultBadges -- TODO: type-safe url library for adding the slash? - , "url" .= (orgUrl org <> adjustedPath rev org <> "/" <> toText mappath) ] + , "url" .= (orgUrl org <> adjustedWebPath rev org <> "/" <> toText mappath) ] |