!dir.exists() and new line

This commit is contained in:
DeltaNedas 2020-02-03 18:36:17 +00:00 committed by GitHub
parent 4709b5dddc
commit fea9f51513
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -108,6 +108,7 @@ public class Scripts implements Disposable{
private class ScriptModuleProvider extends UrlModuleSourceProvider{
private Pattern directory = Pattern.compile("^(.+?)/(.+)");
public ScriptModuleProvider(){
super(null, null);
}
@ -125,7 +126,7 @@ public class Scripts implements Disposable{
String script = matched.group(2);
if(required == null || root == required.root.child("scripts")){ // Mod not found, or already using a mod
Fi dir = root.child(matched.group(1));
if(dir == null) return null; // Mod and folder not found
if(!dir.exists()) return null; // Mod and folder not found
return loadSource(mod, script, dir, validator);
}
return loadSource(required, script, required.root.child("scripts"), validator);