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";