On Tue, Jun 03, 2014 at 09:50:38AM +0200, 'Petr Pudlak' via ganeti-devel wrote: > .. mark it as failed only if it's not finalized, and let the queue > management handle the cleanup. > > Signed-off-by: Petr Pudlak <[email protected]> > --- > src/Ganeti/JQScheduler.hs | 35 +++++++++++++---------------------- > 1 file changed, 13 insertions(+), 22 deletions(-)
LGTM -- Klaus Aehlig Google Germany GmbH, Dienerstr. 12, 80331 Muenchen Registergericht und -nummer: Hamburg, HRB 86891 Sitz der Gesellschaft: Hamburg Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores
