Automatically retry aborted builds

Aborted builds are now put back on the runnable queue and retried
after a certain time interval (currently 60 seconds for the first
retry, then tripled on each subsequent retry).
This commit is contained in:
Eelco Dolstra
2015-06-17 11:45:20 +02:00
parent e02654b3a0
commit b91a616520
4 changed files with 145 additions and 61 deletions

View File

@ -372,6 +372,7 @@ create table CachedCVSInputs (
);
-- FIXME: remove
create table SystemTypes (
system text primary key not null,
maxConcurrent integer not null default 2