From 77250300676bc08cff4e687df0b6ac86ea35a6e4 Mon Sep 17 00:00:00 2001
From: you <ovvv@web.de>
Date: Thu, 8 Feb 2018 19:17:06 +0100
Subject: [PATCH] Allow dumping userdata (#7012)

---
 builtin/common/misc_helpers.lua | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/builtin/common/misc_helpers.lua b/builtin/common/misc_helpers.lua
index 0686c18da..ab2da14ea 100644
--- a/builtin/common/misc_helpers.lua
+++ b/builtin/common/misc_helpers.lua
@@ -120,7 +120,12 @@ end
 -- The dumped and level arguments are internal-only.
 
 function dump(o, indent, nested, level)
-	if type(o) ~= "table" then
+	local t = type(o)
+	if not level and t == "userdata" then
+		-- when userdata (e.g. player) is passed directly, print its metatable:
+		return "userdata metatable: " .. dump(getmetatable(o))
+	end
+	if t ~= "table" then
 		return basic_dump(o)
 	end
 	-- Contains table -> true/nil of currently nested tables
-- 
2.25.1