Remove useless use of "file.separator" in getRealPath()

git-svn-id: http://webgoat.googlecode.com/svn/trunk@133 4033779f-a91e-0410-96ef-6bf7bf53c507
2007-07-10 11:49:03 +00:00 · 2007-07-10 11:49:03 +00:00 · b7bb9e4d17
commit b7bb9e4d17
parent 2748e80d0d
1 changed files with 1 additions and 2 deletions
--- a/webgoat/main/project/JavaSource/org/owasp/webgoat/HammerHead.java
+++ b/webgoat/main/project/JavaSource/org/owasp/webgoat/HammerHead.java
@ -288,8 +288,7 @@ public class HammerHead extends HttpServlet
 		Locale.US);
 	httpDateFormat.setTimeZone(TimeZone.getTimeZone("GMT"));
 	propertiesPath = getServletContext().getRealPath(
-		"." + System.getProperty("file.separator") + "WEB-INF"
-			+ "/webgoat.properties");
+		"./WEB-INF/webgoat.properties");
    }