diff util/openmetrics.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
parents a02c277eb97a
children 85d51bfcf56b
line wrap: on
line diff