src/Pure/Tools/flarum.scala
changeset 74946 0dd14d8b16da
parent 74945 4dc90b43ba94
child 74961 bb0858cc574e
--- a/src/Pure/Tools/flarum.scala	Wed Dec 15 19:41:30 2021 +0100
+++ b/src/Pure/Tools/flarum.scala	Wed Dec 15 23:18:41 2021 +0100
@@ -22,8 +22,11 @@
     override def toString: String = url.toString
 
     def get(route: String): HTTP.Content =
-      HTTP.Client.get(new URL(url, route))
+      HTTP.Client.get(if (route.isEmpty) url else new URL(url, route))
 
-    val api: JSON.T = get("api").json
+    def get_api(route: String = ""): JSON_API.Root =
+      JSON_API.Root(get("api" + (if (route.isEmpty) "" else "/" + route)).json)
+
+    val api: JSON_API.Root = get_api()
   }
 }