From cd298c3099ffd538327640affa273cea24b4c8c3 Mon Sep 17 00:00:00 2001
From: sk89q <the.sk89q@gmail.com>
Date: Sat, 29 Jan 2011 09:50:28 -0800
Subject: [PATCH] Fixed scripting.timeout setting taking no effect.

---
 src/com/sk89q/worldedit/WorldEdit.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/com/sk89q/worldedit/WorldEdit.java b/src/com/sk89q/worldedit/WorldEdit.java
index dd38f1ce0..d706053e3 100644
--- a/src/com/sk89q/worldedit/WorldEdit.java
+++ b/src/com/sk89q/worldedit/WorldEdit.java
@@ -830,7 +830,7 @@ public class WorldEdit {
             }
         }
         
-        engine.setTimeLimit(3000);
+        engine.setTimeLimit(config.scriptTimeout);
         
         Map<String, Object> vars = new HashMap<String, Object>();
         vars.put("argv", args);