On Fri, 4 Feb 2022 at 19:39, Enrico Scholz <enrico.scholz@sigma-chemnitz.de> wrote:

> Would CANCEL be clearer to you than HALT?

mmmh.... for me as a developer (and non-native english speaker), "cancel"
means some ordered ending of an operation.

But the condition above causes an emergency abort.

Cancel is the same as abort: a request to immediately stop the operation (or not even start it) without reaching the originally requested outcome.

Halt implies the operation is not going to continue (Alan Turing was as English as it gets, just to remind you).

I don't think any of this is remotely confusing.

Alex