diff options
author | Tom Lane | 2004-11-09 21:30:18 +0000 |
---|---|---|
committer | Tom Lane | 2004-11-09 21:30:18 +0000 |
commit | 8f6278d907466454abdeead00d99efab308a74dc (patch) | |
tree | 8455c457f64fce67a26ff09b41a6c0fe2fa2b856 /doc/FAQ_DEV | |
parent | 58825b8cd67e02b00393cc0c80421cc53fe51601 (diff) |
Put in place some defenses against being fooled by accidental match of
shared memory segment ID. If we can't access the existing shmem segment,
it must not be relevant to our data directory. If we can access it,
then attach to it and check for an actual match to the data directory.
This should avoid some cases of failure-to-restart-after-boot without
introducing any significant risk of failing to detect a still-running
old backend.
Diffstat (limited to 'doc/FAQ_DEV')
0 files changed, 0 insertions, 0 deletions