# HG changeset patch
# User wenzelm
# Date 1645445872 -3600
# Node ID 3c8f24e9eff128cc2e4f3f85fcc0e233540dd02c
# Parent  e6162afc5460771e70d840f8753c0f0b2a088457
clarified URL (again);

diff -r e6162afc5460 -r 3c8f24e9eff1 src/Pure/General/http.scala
--- a/src/Pure/General/http.scala	Mon Feb 21 13:15:35 2022 +0100
+++ b/src/Pure/General/http.scala	Mon Feb 21 13:17:52 2022 +0100
@@ -315,7 +315,7 @@
 
   /* welcome */
 
-  def welcome(name: String = "welcome"): Service =
+  def welcome(name: String = ""): Service =
     Service.get(name, request =>
       {
         if (request.toplevel) {