|
|
@@ -71,10 +71,9 @@ public class Util {
|
|
|
try {
|
|
|
//I am checking, whether the requested File is an internal resource.
|
|
|
//If it is, res/url has to be used, otherwise url.
|
|
|
- //Mixed separators should cause problems. Will fix later.
|
|
|
+ //Mixed separators might cause problems. Will fix later.
|
|
|
File f=new File(url);
|
|
|
- if(!f.exists()||!f.getAbsolutePath().equals(url))url="res"+(rootSymbol?"":"/")+url;
|
|
|
- else if(f.exists())System.out.println("Urls+ \""+url+"\" and \""+f.getAbsolutePath()+"\" Do not match, even though the latter seems to exist.\nThis should not happen.");
|
|
|
+ if(!f.exists()/*||!f.getAbsolutePath().equals(url)*/)url="res"+(rootSymbol?"":"/")+url;
|
|
|
return new FileInputStream(url);
|
|
|
} catch (FileNotFoundException e1) {
|
|
|
e1.printStackTrace();
|
