https://issues.apache.org/bugzilla/show_bug.cgi?id=57308
Bug ID: 57308
Summary: Replace System.getProperty("file.separator") with
File.separator throughout
Product: Tomcat 7
Version: trunk
Hardware: All
OS: All
Status: NEW
Severity: trivial
Priority: P2
Component: Catalina
Assignee: [email protected]
Reporter: [email protected]
Most of Tomcat uses File.separator, but there are a few instances of
System.getProperty("file.separator")
The two can be different, but still allow the JVM to start up.
I found the following worked:
java -Dfile.separator=/xyz
for Unix or the equivalent \xyz on Windows.
Using a different first character does not work - the JVM usually throws an
exception as it cannot find some required files if the sep. is incorrect.
It looks like only the first character of the property is used by the JVM.
However, this is not done by the application code I have seen, which means that
there could be a discrepancy between the two methods.
File.separator has the additional benefit that it is not subject to a privilege
check.
--
You are receiving this mail because:
You are the assignee for the bug.
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
