s3: Fix serverid_exists
authorVolker Lendecke <vl@samba.org>
Fri, 3 Dec 2010 08:34:02 +0000 (01:34 -0700)
committerVolker Lendecke <vl@samba.org>
Fri, 3 Dec 2010 11:55:05 +0000 (12:55 +0100)
commitd530521fc00027f2438acacf5618a4d38afeba8b
treed15b653c53188f7558cb71997cb9d839ce0a0d11
parentd8b6144c976168adc42bc91a4735e508d02bdef9
s3: Fix serverid_exists

In the cluster case it can happen that a node just died and we did not yet have
the time to clean up serverid.tdb. If the corresponding serverid.tdb record
that represented a process was migrated away from the dead record, it
represents existence of a process where it is already dead.
source3/lib/serverid.c