Diff

plugins/mod_ping.lua @ 13037:635ed9a362ee

mod_admin_shell: Dynamically size JIDs and hosts Reasoning: a hostname is one part, a JID is 3 parts.
author Kim Alvefur <zash@zash.se>
date Fri, 07 Apr 2023 12:58:02 +0200
parent 12977:74b9e05af71e
line wrap: on
line diff