- Timestamp:
- 2020-07-23T18:33:28+12:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/remote/RemoteGreenstoneServer.java
r34160 r34285 836 836 { 837 837 String file_path = file.getAbsolutePath(); 838 839 // Special case: if file path is longer by File separator, 840 // still dealing with practcally the same folder path, return relative path as "." 841 if(directory_path.equals(file_path + File.separator)) { 842 return "."; 843 } 838 844 if (!file_path.startsWith(directory_path)) { 839 845 System.err.println("ERROR: File path " + file_path + " is not a child of " + directory_path);
Note:
See TracChangeset
for help on using the changeset viewer.