diff options
| author | Robert Haas | 2016-09-20 16:24:44 +0000 |
|---|---|---|
| committer | Robert Haas | 2016-09-20 16:26:29 +0000 |
| commit | 470d886c32efafa1b068b5ca48afafc2198c68d4 (patch) | |
| tree | 7f6c3226afde1bcee03e53a9f970438e4e2c373a /src/include | |
| parent | 419113dfdc4c729f6c763cc30a9b02ee68a7da94 (diff) | |
Use PostmasterRandom(), not random(), for DSM control segment ID.
Otherwise, every startup gets the same "random" value, which is
definitely not what was intended.
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/postmaster/postmaster.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/include/postmaster/postmaster.h b/src/include/postmaster/postmaster.h index b2d7776f2a8..ef06d5d04c4 100644 --- a/src/include/postmaster/postmaster.h +++ b/src/include/postmaster/postmaster.h @@ -48,6 +48,7 @@ extern const char *progname; extern void PostmasterMain(int argc, char *argv[]) pg_attribute_noreturn(); extern void ClosePostmasterPorts(bool am_syslogger); +extern long PostmasterRandom(void); extern int MaxLivePostmasterChildren(void); |