Fix worldedit_gui not working in Minetest 0.4.10.

This commit is contained in:
Uberi 2014-07-10 20:17:12 -04:00
parent b70fd16da4
commit 9ec1a799d8

View File

@ -37,14 +37,13 @@ Example:
]]
worldedit.register_gui_handler = function(identifier, handler)
local enabled = true
minetest.register_on_player_receive_fields(function(player, formname, fields)
--ensure the form is not being exited since this is a duplicate message
if fields.quit then
return false
end
if not enabled then return false end
enabled = false
minetest.after(0.2, function() enabled = true end)
local name = player:get_player_name()
--ensure the player has permission to perform the action
local entry = worldedit.pages[identifier]
if entry and minetest.check_player_privs(name, entry.privs or {}) then