# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1739289688 -3600
# Node ID fb684af6b397e4d5b96df008cec4ac942c356b37
# Parent  7d89e4f10ffee78b62137ae5e9c5b3fe2b161215
proper relative paths;

diff -r 7d89e4f10ffe -r fb684af6b397 src/Tools/Find_Facts/web/src/Main.elm
--- a/src/Tools/Find_Facts/web/src/Main.elm	Mon Feb 10 10:52:55 2025 +0100
+++ b/src/Tools/Find_Facts/web/src/Main.elm	Tue Feb 11 17:01:28 2025 +0100
@@ -128,7 +128,7 @@
 
 get_result: Query -> Cmd Msg
 get_result query =
-  Http.post {url="/api/query", expect = Http.expectJson (Query_Result query) Query.decode_result,
+  Http.post {url="api/query", expect = Http.expectJson (Query_Result query) Query.decode_result,
     body = query |> Query.encode_query |> Http.jsonBody}
 
 query_delay: Query -> Delay Msg
@@ -136,12 +136,12 @@
 
 get_blocks: Query -> String -> Cmd Msg
 get_blocks query cursor =
-  Http.post {url = "/api/blocks", expect = Http.expectJson (Query_Blocks query) Query.decode_blocks,
+  Http.post {url = "api/blocks", expect = Http.expectJson (Query_Blocks query) Query.decode_blocks,
     body = {query = query, cursor = cursor} |> Query.encode_query_blocks |> Http.jsonBody}
 
 get_block: String -> Cmd Msg
 get_block id =
-  Http.post {url = "/api/block", expect = Http.expectJson (Query_Block id) Query.decode_block,
+  Http.post {url = "api/block", expect = Http.expectJson (Query_Block id) Query.decode_block,
     body = id |> Query.encode_query_block |> Http.jsonBody}