3
0
Mirror von https://github.com/IntellectualSites/FastAsyncWorldEdit.git synchronisiert 2024-12-24 18:10:08 +01:00

Fixed scripting.timeout setting taking no effect.

Dieser Commit ist enthalten in:
sk89q 2011-01-29 09:50:28 -08:00
Ursprung b78d43d95c
Commit cd298c3099

Datei anzeigen

@ -830,7 +830,7 @@ public class WorldEdit {
} }
} }
engine.setTimeLimit(3000); engine.setTimeLimit(config.scriptTimeout);
Map<String, Object> vars = new HashMap<String, Object>(); Map<String, Object> vars = new HashMap<String, Object>();
vars.put("argv", args); vars.put("argv", args);