Merge branch 'master' into dev

This commit is contained in:
Pierre-Yves Rollo 2018-12-12 21:40:31 +01:00
commit a795420fc2

@ -128,6 +128,11 @@ local node_def_defaults = {
if channel ~= minetest.get_meta(pos):get_string("channel") then if channel ~= minetest.get_meta(pos):get_string("channel") then
return return
end end
if type(msg) ~= "string" then
return
end
digiterms.push_text_on_screen(pos, msg) digiterms.push_text_on_screen(pos, msg)
end, end,
}, },