> There is an option --count to say how many ticket to tests before to stop. > you may want to use that. > You may even change it in your json config file during the patchbot run > (not tested if this works to stop the bot)
Ok. I will try that. Thanks. But Ctrl-C should not be very problematic. Could you tell what kind of > problems you have seen ? After a shutdown by ctrl-c, a subsequent doctesting used an old base and commits: Commit: b4c6cd222f4789617f15fac8ddec6c7e8d6e9f99 (7.0.beta0 + 5 commits) while in the previous testing, it was correctly: Commit: c57069e9c66ad4f28038744f370fe6aac9c574d0 (7.4.beta4 + 9 commits) I cannot understand exactly how this happened... Frederic Le jeudi 15 septembre 2016 09:49:13 UTC+2, Kwankyu Lee a écrit : Dear all, A patchbot is supposed to run forever, but realistically I should stop it from time to time. Pushing ctrl-c stops the patchbot abruptly, and the subsequent run seems sometimes to show somewhat erroneous behavior, perhaps due to the spurious state of the files. Is there a way to stop the patchbot gracefully? Or am I worrying too much and ctrl-c is just ok? On Thursday, September 15, 2016 at 10:00:47 AM UTC+2, Frédéric Chapoton wrote: > > There is an option --count to say how many ticket to tests before to stop. > you may want to use that. > > You may even change it in your json config file during the patchbot run > (not tested if this works to stop the bot) > Ok. I will try that. Thanks. > But Ctrl-C should not be very problematic. Could you tell what kind of > problems you have seen ? > I cannot say exactly. After a shutdown by ctrl-c, a subsequent doctesting used an old base: Commit: b4c6cd222f4789617f15fac8ddec6c7e8d6e9f99 (7.0.beta0 + 5 commits) while > > Frederic > > Le jeudi 15 septembre 2016 09:49:13 UTC+2, Kwankyu Lee a écrit : >> >> Dear all, >> >> A patchbot is supposed to run forever, but realistically I should stop it >> from time to time. Pushing ctrl-c stops the patchbot abruptly, and the >> subsequent run seems sometimes to show somewhat erroneous behavior, perhaps >> due to the spurious state of the files. >> >> Is there a way to stop the patchbot gracefully? Or am I worrying too much >> and ctrl-c is just ok? >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
