diff runopts.h @ 955:36eacc322e00

Make sure the check_close() handler runs when a server child process exits
author Matt Johnston <matt@ucc.asn.au>
date Mon, 28 Jul 2014 23:23:49 +0800
parents f92eb625c48d
children 47643024fc90
line wrap: on
line diff