plugins/mod_admin_shell.lua
changeset 12793 517b5702c5a1
parent 12731 31d719ce8c64
parent 12792 3835c397b129
child 12869 e6324117f124
--- a/plugins/mod_admin_shell.lua	Thu Oct 20 17:37:33 2022 +0200
+++ b/plugins/mod_admin_shell.lua	Mon Oct 24 15:25:12 2022 +0200
@@ -780,7 +780,11 @@
 		width = 5;
 		align = "right";
 		key = "conn";
-		mapper = function(conn) return conn:serverport(); end;
+		mapper = function(conn)
+			if conn then
+				return conn:serverport();
+			end
+		end;
 	};
 	dir = {
 		title = "Dir";