X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2Finit.d%2FloadPredefinedStylesheets.pl;h=700cf68f5d3ff854c4de116dbb07e8adab24aade;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=a4a31d9238fa77df1bedd91ce4b0fd917ca25caa;hpb=def46f84dde4cdec1f817443432acc51f62e5ace;p=helm.git

diff --git a/helm/scripts/init.d/loadPredefinedStylesheets.pl b/helm/scripts/init.d/loadPredefinedStylesheets.pl
index a4a31d923..700cf68f5 100755
--- a/helm/scripts/init.d/loadPredefinedStylesheets.pl
+++ b/helm/scripts/init.d/loadPredefinedStylesheets.pl
@@ -74,18 +74,18 @@ if ($action eq "load") {  # load predefined stylesheets
     $request_url .= "bind=$k,";
     my $tmp = "";
     if ($use_getter) {
-      $tmp .= $getter_url . "getxslt?uri="
+      $tmp .= $getter_url . "/getxslt?uri="
     }
     $tmp .= $ur;
     $request_url .= uri_escape($tmp);
   }
-  $request_url = $uwobo_url . "add?$request_url";
+  $request_url = $uwobo_url . "/add?$request_url";
 
 } elsif ($action eq "unload") { # unload predefined stylesheets
-  $request_url = $uwobo_url . "remove?keys=" . join(',', keys %styles);
+  $request_url = $uwobo_url . "/remove?keys=" . join(',', keys %styles);
 
 } elsif ($action eq "reload") { # reload predefined stylesheets
-  $request_url = $uwobo_url . "reload?keys=" . join(',', keys %styles);
+  $request_url = $uwobo_url . "/reload?keys=" . join(',', keys %styles);
 
 } else {  # unknown action
   die "Unknown action '$action'";