Searched refs:waitForDeathCookie (Results 1 – 2 of 2) sorted by relevance
707 final long waitForDeathCookie = new Random().nextLong(); in terminate() local711 if (cookie != waitForDeathCookie) return; in terminate()713 }, waitForDeathCookie); in terminate()
723 final long waitForDeathCookie = new Random().nextLong(); in terminate() local727 if (cookie != waitForDeathCookie) return; in terminate()729 }, waitForDeathCookie); in terminate()