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) But Ctrl-C should not be very problematic. Could you tell what kind of problems you have seen ? 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 email@example.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.