diff mod_extdisco/mod_extdisco.lua @ 3103:5bf79bb3cf7e

Neuter 0198 from mod_pinger, fix #712
author Georg Lukas <georg@op-co.de>
date Wed, 06 Jun 2018 19:20:10 +0200
parents e5c16c87383c
children e302537a0e4e
line wrap: on
line diff