Simplify waiting for notebook server to die.