Closed hawesie closed 7 years ago
@marc-hanheide this is the fix for your issue. I had to add it here as I made other changes to the on-demand bits of the executor over the weekend.
@hawesie is it worthwhile for me to cherry pick 930e069b6b0161ddf7c3caa60d45e71c73f28302 into my branch for now? Or how do you want to proceed?
This has been tested on local examples, but could use some more extreme tests.
This closes #271