call the Lua hook with minor frequency. It is already enough to call …

…it every 100000 istructions for near millisecond precision.

src/scripting.c

@@ -227,7 +227,7 @@ void scriptingInit(void) {
 
     /* Set an hook in order to be able to stop the script execution if it
      * is running for too much time. */
-    lua_sethook(lua,luaMaskCountHook,LUA_MASKCOUNT,10000);
+    lua_sethook(lua,luaMaskCountHook,LUA_MASKCOUNT,100000);
 
     server.lua = lua;
 }