proper relative paths;
authorFabian Huch <huch@in.tum.de>
Tue, 11 Feb 2025 17:01:28 +0100
changeset 82132 fb684af6b397
parent 82131 7d89e4f10ffe
child 82133 39f2662c8fb0
proper relative paths;
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}