# HG changeset patch # User casties # Date 1432200443 0 # Node ID 8c31ab1129e100aa77e6a55e8747d18fe3d7db36 # Parent 6723014809901135041c65bb0fe923b5bca241ab fix ismi_icon path to not assume webapp name. diff -r 672301480990 -r 8c31ab1129e1 src/main/webapp/imageServer/header.jsp --- a/src/main/webapp/imageServer/header.jsp Tue May 19 16:01:55 2015 +0000 +++ b/src/main/webapp/imageServer/header.jsp Thu May 21 09:27:23 2015 +0000 @@ -11,7 +11,7 @@