From 60d86c9f936e986bc5e44f849040708e11c14b3f Mon Sep 17 00:00:00 2001 From: rubenwardy Date: Mon, 6 Jan 2020 19:20:23 +0000 Subject: [PATCH] Fix crash on user that has left the game --- api.lua | 7 ++++++- gui_dash.lua | 4 ++++ 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/api.lua b/api.lua index aeed4ac..5e27370 100644 --- a/api.lua +++ b/api.lua @@ -134,7 +134,12 @@ function classroom.get_students_by_selector(selector) elseif selector:sub(1, 6) == "group:" then return classroom.get_group_students(selector:sub(7)) elseif selector:sub(1, 5) == "user:" then - return { selector:sub(6) } + local pname = selector:sub(6) + if classroom.get_player_by_name(pname) then + return { pname } + else + return {} + end else return {} end diff --git a/gui_dash.lua b/gui_dash.lua index d11bd6a..9b459db 100644 --- a/gui_dash.lua +++ b/gui_dash.lua @@ -37,6 +37,10 @@ local function get_formspec(player, context) return "label[0,0;" .. FS"Access denied" .. "]" end + if context.selected_student and not minetest.get_player_by_name(context.selected_student) then + context.selected_student = nil + end + local function button(def) local x = assert(def.x) local y = assert(def.y)