Searched refs:waitForDeathCookie (Results 1 – 2 of 2) sorted by relevance
651 final long waitForDeathCookie = new Random().nextLong(); in terminate() local655 if (cookie != waitForDeathCookie) return; in terminate()657 }, waitForDeathCookie); in terminate()
753 final long waitForDeathCookie = new Random().nextLong(); in terminate() local757 if (cookie != waitForDeathCookie) return; in terminate()760 }, waitForDeathCookie); in terminate()