Diff

plugins/mod_ping.lua @ 7971:cd6f88012f67

util.signal: Restore non-standard GNU "default" behaviour of signal(2)
author Kim Alvefur <zash@zash.se>
date Sat, 11 Mar 2017 16:41:23 +0100
parent 6012:7e8a624272bf
child 8729:c519c778f2b2
line wrap: on
line diff