<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Sep 17, 2014 at 12:58 PM, Amir E. Aharoni <span dir="ltr"><<a href="mailto:amir.aharoni@mail.huji.ac.il" target="_blank">amir.aharoni@mail.huji.ac.il</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Why not just delete the failing jobs if it's easy to re-create them?</p>
<div class="gmail_quote"></div></blockquote></div>It is another option, but in that case all job history is lost. Would you prefer if the jobs were deleted?</div><div class="gmail_extra"><br></div><div class="gmail_extra">Ċ½eljko</div></div>