From 1db21885df2bd99d65a5aac43bd7fc35ea0ff767 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Sun, 3 Apr 2022 02:33:37 +0200 Subject: server: fix map paths in api --- server/Handlers.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'server/Handlers.hs') 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) ] -- cgit v1.2.3