Minor fixes

main.js

@@ -16,18 +16,21 @@ let hostname = window.location.hostname;
 // console.log("Root folder path: " + root_folder);
 // console.log("Hostname: " + hostname);
 
-console.log("Version 1.2.0");
+console.log("Version 1.3.0");
 
 function get_url(resource, flag = false) {
+	let to_ret = "";
 	if (!flag) {
 		if (resource.startsWith("/")) resource = resource.substring(1);
 		if (resource.startsWith("./")) resource = resource.substring(2);
-		return root_folder + resource;
+		to_ret = root_folder + resource;
 	} else {
 		if (resource.startsWith("/")) resource = ".." + resource;
 		if (resource.startsWith("./")) resource = "." + resource;
-		return resource;
+		to_ret = resource;
 	}
+	console.log("Trying to load '" + resource + "' from: " + to_ret);
+	return to_ret;
 }
 
 // Make it so that, on any error, a <div> is added to the page with the error message, in the top-middle of the page