diff options
Diffstat (limited to 'src/include/port/win32.h')
| -rw-r--r-- | src/include/port/win32.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/include/port/win32.h b/src/include/port/win32.h index a9b9fcaf5b8..93439f763d0 100644 --- a/src/include/port/win32.h +++ b/src/include/port/win32.h @@ -303,6 +303,9 @@ extern int pgwin32_is_service(void); /* in backend/port/win32_shmem.c */ extern int pgwin32_ReserveSharedMemoryRegion(HANDLE); +/* in backend/port/win32/crashdump.c */ +extern void pgwin32_install_crashdump_handler(void); + /* in port/win32error.c */ extern void _dosmaperr(unsigned long); |