Add pid to the pgident event name on win32.

Magnus Hagander <magnus@hagander.net>

Commit: 11e7006dee2f9d72f7ded21f6f12e516e08e1532
Author: Magnus Hagander <magnus@hagander.net>
Date: 2008-01-31T09:21:22Z
Releases: 8.2.7
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