Correct executor shutdown
mcopik opened this issue · comments
Currently, we use repetition limit for executor shutdown, as it helps us with designing benchmarks. However, in real deployment, we should use the normal shutdown signal from the client.
Also, the manager should look for executor not being shut down and kill it.