diff options
author | root <root@linux-forks.de> | 2018-07-18 19:09:28 +0200 |
---|---|---|
committer | root <root@linux-forks.de> | 2018-07-18 19:09:28 +0200 |
commit | 630b9f9bf4c15036b8eb1b408ca1a50930404bd7 (patch) | |
tree | 34331f54e2cb6f9d397bfb87e50c59596759bb13 /init.lua | |
parent | 31be6711333e5006816caaa1b6df968d834449d2 (diff) | |
parent | 289d0e623c1d383f26cbc57c94ce9a8a184bf525 (diff) |
Diffstat (limited to 'init.lua')
-rw-r--r-- | init.lua | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -32,7 +32,7 @@ if not minetest.registered_privileges[areas.config.self_protection_privilege] th }) end -if minetest.setting_getbool("log_mod") then +if minetest.settings:get_bool("log_mod") then local diffTime = os.clock() - areas.startTime minetest.log("action", "areas loaded in "..diffTime.."s.") end |