1105:c3a510b73875 | 1106:ac111e4cb1dc |
---|---|
130 str2 += " [iteration " + (iteration + 1) + "]"; | 130 str2 += " [iteration " + (iteration + 1) + "]"; |
131 } | 131 } |
132 str2 += " processing file: " + file + "..."; | 132 str2 += " processing file: " + file + "..."; |
133 print_if_verbose(str2); | 133 print_if_verbose(str2); |
134 } | 134 } |
135 newGlobal.load("file://" + path + file); | 135 newGlobal.load(new java.io.File(path + file).toURL()); |
136 } | 136 } |
137 } | 137 } |
138 print("Done."); | 138 print("Done."); |
139 } | 139 } |
140 | 140 |