diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2019-11-09 16:04:14 +0000 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2019-11-09 21:54:59 +0000 |
| commit | 01446a56c76aa5ac3213a86f8992a2371a8301f3 (patch) | |
| tree | 61ec724046652333ab933e5991cb6fcb2336f679 /src/src/functions.h | |
| parent | 580f325235cd1b9713bfa436719b7ca026fe9a16 (diff) | |
Remove the daemon pid file when exit is due to SIGTERM. Bug 340
Diffstat (limited to 'src/src/functions.h')
| -rw-r--r-- | src/src/functions.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/src/functions.h b/src/src/functions.h index 488e84c6c..187bdafa6 100644 --- a/src/src/functions.h +++ b/src/src/functions.h @@ -175,6 +175,7 @@ extern void debug_print_tree(tree_node *); extern void debug_vprintf(int, const char *, va_list); extern void decode_bits(unsigned int *, size_t, int *, uschar *, bit_table *, int, uschar *, int); +extern void delete_pid_file(void); extern address_item *deliver_make_addr(uschar *, BOOL); extern void delivery_log(int, address_item *, int, uschar *); extern int deliver_message(uschar *, BOOL, BOOL); |