This is a very humble attempt for making the output stop by the user. It doesn't work yet, we should really spend time tomorrow on the inner workings of the schedulers and queues. I guess you will know how to fix this immediately. The problem is that run of the fixed scheduler never finishes.
It's not possible to backward-propagate stop signals, so this would need a very cumbersome workaround in schedulers. If the execution protocol changes in the future, we might revisit this one.
This is a very humble attempt for making the output stop by the user. It doesn't work yet, we should really spend time tomorrow on the inner workings of the schedulers and queues. I guess you will know how to fix this immediately. The problem is that
run
of the fixed scheduler never finishes.