diff options
Diffstat (limited to 'share/server')
| -rw-r--r-- | share/server/builtin.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/share/server/builtin.lua b/share/server/builtin.lua index 351cf3bb0..2ec678b70 100644 --- a/share/server/builtin.lua +++ b/share/server/builtin.lua @@ -5,6 +5,16 @@ -- before loading and running any mods. -- +-- +-- Override some Lua library functions +-- + +print = minetest.debug + +-- +-- +-- + function basic_dump2(o) if type(o) == "number" then return tostring(o) |