Searched refs:waitForDeathCookie (Results 1 – 2 of 2) sorted by relevance
526 final long waitForDeathCookie = new Random().nextLong(); in terminate() local530 if (cookie != waitForDeathCookie) return; in terminate()532 }, waitForDeathCookie); in terminate()
659 final long waitForDeathCookie = new Random().nextLong(); in terminate() local663 if (cookie != waitForDeathCookie) return; in terminate()665 }, waitForDeathCookie); in terminate()