7 Dec
2022
7 Dec
'22
9:55 a.m.
On Wed Dec 7 09:51:40 2022 +0000, Rémi Bernon wrote:
Oh right, we're removing commands when they start executing... Sorry, I'll change that.
I would keep the flags, but add some special handling for stop command only. Maybe that would be a smaller change.