From 43acec290067f9aca534647d46ba1f13cfeb377a Mon Sep 17 00:00:00 2001 From: TechDudie <73961295+TechDudie@users.noreply.github.com> Date: Tue, 09 Feb 2021 19:03:55 +0100 Subject: [PATCH] Add Rubber Goo as replacement for the grinder (#578) --- technic/machines/HV/quarry.lua | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-) diff --git a/technic/machines/HV/quarry.lua b/technic/machines/HV/quarry.lua index 1671c4e..9cf378f 100644 --- a/technic/machines/HV/quarry.lua +++ b/technic/machines/HV/quarry.lua @@ -60,6 +60,12 @@ end local function quarry_receive_fields(pos, formname, fields, sender) + local player_name = sender:get_player_name() + if minetest.is_protected(pos, player_name) then + minetest.chat_send_player(player_name, "You are not allowed to edit this!") + minetest.record_protection_violation(pos, player_name) + return + end local meta = minetest.get_meta(pos) if fields.size and string.find(fields.size, "^[0-9]+$") then local size = tonumber(fields.size) -- Gitblit v1.8.0