src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Thu Feb 13 14:26:50 2025 +0100
+++ b/src/Pure/General/http.scala	Thu Feb 13 16:19:48 2025 +0100
@@ -254,6 +254,9 @@
   abstract class Service(val name: String, method: String = "GET") {
     override def toString: String = name
 
+    def index_path(prefix: String = name, index: String = ""): String =
+      Url.index_path(prefix = prefix, index = index)
+
     def apply(request: Request): Option[Response]
 
     def context(server_name: String): String =