[Bug 1184376] Re: REST server crashes on "reopen"

[Aurélien Bompard]

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