diff options
| author | Tom Lane <tgl@sss.pgh.pa.us> | 2003-11-07 21:56:02 +0000 |
|---|---|---|
| committer | Tom Lane <tgl@sss.pgh.pa.us> | 2003-11-07 21:56:02 +0000 |
| commit | 87c93e112ba5b02e7218a3f3f4aa86a9c67a145e (patch) | |
| tree | bf25e3a65a9b53690ea05d91e53ab020a05e0318 /src/include | |
| parent | 8762e1017478467ac28416956a4fe46664025edc (diff) | |
Cause stats processes to detach from shared memory when started, so that
they do not prevent the postmaster from deleting the shmem segment during
a post-backend-crash restart cycle. Per recent discussion.
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/storage/pg_shmem.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/include/storage/pg_shmem.h b/src/include/storage/pg_shmem.h index 7f96a150df7..fbf5b3571a9 100644 --- a/src/include/storage/pg_shmem.h +++ b/src/include/storage/pg_shmem.h @@ -17,7 +17,7 @@ * Portions Copyright (c) 1996-2003, PostgreSQL Global Development Group * Portions Copyright (c) 1994, Regents of the University of California * - * $Id: pg_shmem.h,v 1.7 2003/08/04 02:40:15 momjian Exp $ + * $Id: pg_shmem.h,v 1.7.4.1 2003/11/07 21:56:02 tgl Exp $ * *------------------------------------------------------------------------- */ @@ -44,5 +44,6 @@ extern void *UsedShmemSegAddr; extern PGShmemHeader *PGSharedMemoryCreate(uint32 size, bool makePrivate, int port); extern bool PGSharedMemoryIsInUse(unsigned long id1, unsigned long id2); +extern void PGSharedMemoryDetach(void); #endif /* PG_SHMEM_H */ |