search

sagemath / sage-patchbot

Sage Patchbot
https://www.sagemath.org
Other
8 stars 17 forks source link

Enable shutdown after testing current ticket on SIGUSR1 #114

Closed embray closed 7 years ago

embray commented 7 years ago

Possible fix for #113. Probably not perfect, but should be fairly straightforward.