diff --git a/src/helma/main/ApplicationManager.java b/src/helma/main/ApplicationManager.java index bb2c9d7d..57a390cc 100644 --- a/src/helma/main/ApplicationManager.java +++ b/src/helma/main/ApplicationManager.java @@ -71,6 +71,7 @@ public class ApplicationManager { if (mountpoint == null || "".equals (mountpoint.trim())) mountpoint = "/"+URLEncoder.encode(appName); if (!mountpoint.equals (oldMountpoint)) { + Server.getLogger().log("Moving application "+appName+" from "+oldMountpoint+" to "+mountpoint); if ("/".equals (oldMountpoint)) server.websrv.removeDefaultServlet (); else