Closed gaborcsardi closed 3 years ago
After calling engine$quit() we need to wait for the process to actually end, before calling process$is_alive(). If R is too fast, then the process has no time to quit.
Partially addresses #4.
After calling engine$quit() we need to wait for the process to actually end, before calling process$is_alive(). If R is too fast, then the process has no time to quit.
Partially addresses #4.