On Wed, 22 May 2024 21:06:11 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> Okay, but can we call it a best-effort attempt to restore the echo state? I > guess, it is a judgement call. That would be fair, and exactly what I am aiming for, considering we can do nothing for the `halt()` case. ------------- PR Comment: https://git.openjdk.org/jdk/pull/19184#issuecomment-2125768900