فهرست منبع

Added temporary debug in case separator characters mess things up.

Ludwig Tietze 7 سال پیش
والد
کامیت
95dbabebe6
1فایلهای تغییر یافته به همراه1 افزوده شده و 0 حذف شده
  1. 1 0
      src/ui/view/Util.java

+ 1 - 0
src/ui/view/Util.java

@@ -74,6 +74,7 @@ public class Util {
 				//Mixed separators should 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.");
 				return new FileInputStream(url);
 			} catch (FileNotFoundException e1) {
 				e1.printStackTrace();