equal
deleted
inserted
replaced
109 } |
109 } |
110 |
110 |
111 return result_path.toString(); |
111 return result_path.toString(); |
112 } |
112 } |
113 else { return standard_path; } |
113 else { return standard_path; } |
|
114 } |
|
115 |
|
116 public static String join_paths(List<Path> paths) |
|
117 { |
|
118 List<String> strs = new LinkedList<String>(); |
|
119 for (Path p : paths) { strs.add(p.toString()); } |
|
120 return String.join(File.pathSeparator, strs); |
114 } |
121 } |
115 |
122 |
116 |
123 |
117 /* raw process */ |
124 /* raw process */ |
118 |
125 |