Probably that can be done somehow, as an enhancement/new option in the future.

You can make a pull request to clarify the current behaviour of KSR.x.exit().

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.