diff options
| author | Jeremy Harris <jgh146exb@wizmail.org> | 2020-05-02 14:22:31 +0100 |
|---|---|---|
| committer | Jeremy Harris <jgh146exb@wizmail.org> | 2020-05-02 14:22:31 +0100 |
| commit | a8e46b3b7147d214072bc34beff184724f3f2be6 (patch) | |
| tree | 54da171e6173c8b0af838bafe42486fabf1876ae /src/src/functions.h | |
| parent | 3f14427fb2444a4a6ca14c0e62f5009981b5ca4c (diff) | |
Debug: socket details
Diffstat (limited to 'src/src/functions.h')
| -rw-r--r-- | src/src/functions.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/src/functions.h b/src/src/functions.h index fbddd3519..0028deb0d 100644 --- a/src/src/functions.h +++ b/src/src/functions.h @@ -184,6 +184,8 @@ extern void debug_printf_indent(const char *, ...) PRINTF_FUNCTION(1,2); extern void debug_print_string(uschar *); extern void debug_print_tree(tree_node *); extern void debug_vprintf(int, const char *, va_list); +extern void debug_print_socket(int); + extern void decode_bits(unsigned int *, size_t, int *, uschar *, bit_table *, int, uschar *, int); extern void delete_pid_file(void); |