ExternalVendorCode/corda
1
0
Fork 0
mirror of https://github.com/corda/corda.git synced 2025-06-13 04:38:19 +00:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

more system-specific tweaks for windows port

Browse Source
This commit is contained in:
Joel Dice
2007-10-24 10:24:02 -06:00
parent 0f1a9bc77e
commit 5bfd90cfed
4 changed files with 38 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
classpath/java/io/File.java
View File

@ -1,6 +1,9 @@
package java.io;
public class File {
private static final String FileSeparator
= System.getProperty("file.separator");
static {
System.loadLibrary("natives");
}
@ -13,15 +16,15 @@ public class File {
}
public File(String parent, String child) {
this(parent + "/" + child);
this(parent + FileSeparator + child);
}
public File(File parent, String child) {
this(parent.getPath() + "/" + child);
this(parent.getPath() + FileSeparator + child);
}
public String getName() {
int index = path.lastIndexOf("/");
int index = path.lastIndexOf(FileSeparator);
if (index >= 0) {
return path.substring(index + 1);
} else {
@ -34,7 +37,7 @@ public class File {
}
public String getParent() {
int index = path.lastIndexOf("/");
int index = path.lastIndexOf(FileSeparator);
if (index >= 0) {
return path.substring(0, index);
} else {