diff options
| author | Noah Misch <noah@leadboat.com> | 2019-03-31 19:32:48 -0700 |
|---|---|---|
| committer | Noah Misch <noah@leadboat.com> | 2019-03-31 19:32:53 -0700 |
| commit | f3461cb8f5b505878f33d6ded15eab6f0e1993dd (patch) | |
| tree | a493fdef717276dd0f495b37054fa27e4b978dd0 /src/backend/port/win32_shmem.c | |
| parent | 31737eb43ffd77de9269247dfbd11a2665e6ee57 (diff) | |
Update HINT for pre-existing shared memory block.
One should almost always terminate an old process, not use a manual
removal tool like ipcrm. Removal of the ipcclean script eleven years
ago (39627b1ae680cba44f6e56ca5facec4fdbfe9495) and its non-replacement
corroborate that manual shm removal is now a niche goal. Back-patch to
9.4 (all supported versions).
Reviewed by Daniel Gustafsson and Kyotaro HORIGUCHI.
Discussion: https://postgr.es/m/20180812064815.GB2301738@rfd.leadboat.com
Diffstat (limited to 'src/backend/port/win32_shmem.c')
0 files changed, 0 insertions, 0 deletions