Index: java/org/apache/catalina/manager/HTMLManagerServlet.java
===================================================================
--- java/org/apache/catalina/manager/HTMLManagerServlet.java	(revision 1378244)
+++ java/org/apache/catalina/manager/HTMLManagerServlet.java	(working copy)
@@ -406,7 +406,7 @@
                 }
                 
                 args = new Object[7];
-                args[0] = URL_ENCODER.encode(displayPath);
+                args[0] = URL_ENCODER.encode(contextPath + "/");
                 args[1] = RequestUtil.filter(displayPath);
                 if (context.getDisplayName() == null) {
                     args[2] = " ";