Comment 6 for bug 1184376

Aurélien Bompard (abompard) wrote :

Here's the patch to restart the REST server on an interrupted system call. I tried to make use of the existing runner infrastructure so it's a short patch, but it may not be a good idea (I don't want to hijack something not designed for this purpose).