Add pid to the pgident event name on win32.

Magnus Hagander <magnus@hagander.net>

Commit: 0ace923ce8bd87b4f0b4d17ec08bf6f957f32a8d
Author: Magnus Hagander <magnus@hagander.net>
Date: 2008-01-31T09:21:17Z
Releases: 8.3.0
Add pid to the pgident event name on win32.

Should fix a problem where two clusters are running under
two different service accounts and get colliding names,
causing only the first cluster to contain the pgident
event description.

Per report from Stephen Denne.

Files

PathChange+/−
src/backend/utils/misc/ps_status.c modified +2 −2