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).
** Patch added: "mailman-1184376.patch" https://bugs.launchpad.net/mailman/+bug/1184376/+attachment/3693446/+files/mailman-1184376.patch -- You received this bug notification because you are a member of Mailman Coders, which is subscribed to GNU Mailman. https://bugs.launchpad.net/bugs/1184376 Title: REST server crashes on "reopen" To manage notifications about this bug go to: https://bugs.launchpad.net/mailman/+bug/1184376/+subscriptions _______________________________________________ Mailman-coders mailing list [email protected] http://mail.python.org/mailman/listinfo/mailman-coders
