From b7bb9e4d178a7bcd2ac22efbc30ee417a9a7d9a5 Mon Sep 17 00:00:00 2001
From: "rogan.dawes" <rogan.dawes@4033779f-a91e-0410-96ef-6bf7bf53c507>
Date: Tue, 10 Jul 2007 11:49:03 +0000
Subject: [PATCH] Remove useless use of "file.separator" in getRealPath()

git-svn-id: http://webgoat.googlecode.com/svn/trunk@133 4033779f-a91e-0410-96ef-6bf7bf53c507
---
 .../main/project/JavaSource/org/owasp/webgoat/HammerHead.java  | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/ webgoat/main/project/JavaSource/org/owasp/webgoat/HammerHead.java b/ webgoat/main/project/JavaSource/org/owasp/webgoat/HammerHead.java
index f380bb8c4..ddc8896ba 100644
--- 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");
     }