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

[Aurélien Bompard]

After looking at the source code, it seems to come from the fact that
the REST runner has the intercept_signals attribute set to False. Any
reason for that ?

-- 
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