Alois Wohlschlager
441f7db5f1
Right now, the worker will not receive interrupts, as it has no signal handler thread due to the way it forks, but this will change soon. Prepare to handle worker interruption properly, by letting the worker exit successfully in this case and adjusting the coordinator to handle this exit gracefully. Change-Id: I9f79670b0d2004e7e2d8bf36cf67108e6a6a6964