check if file is null to avoid nullptr

2026-07-13 22:01:04 -04:00 · 2016-04-02 16:11:46 +00:00
parent f3c5bf803d
commit a6c6fa70d6
1 changed files with 1 additions and 1 deletions
@@ -141,7 +141,7 @@ public class script_class_loader extends ClassLoader
 			String pathedName = name.replace('.', java.io.File.separatorChar);
 			String fullname = script_entry.getScriptPath() + pathedName + ".class";
 			File file = new File(fullname);
-			if (file.isFile()) {
+			if (file != null && file.isFile()) {
 				result = true;
 			}