Diff

plugins/mod_disco.lua @ 11831:94cd363116a3

mod_admin_shell: Allow passing an exit code to server:shutdown() Mirroring the internal API
author Kim Alvefur <zash@zash.se>
date Thu, 30 Sep 2021 23:22:51 +0200 (2021-09-30)
parent 11737:59cf555b4698
child 12015:b4db17aeff01
line wrap: on
line diff