2 Commits

Author	SHA1	Message	Date
Eelco Dolstra	9cdbff2fdf	Handle concurrent finishing of the same build ... There is a slight possibility that the queue monitor and a builder thread simultaneously decide to mark a build as finished. That's fine, as long as we ensure the DB update is idempotent (as ensured by doing "update Builds set finished = 1 ... where finished = 0").	2015-06-18 17:12:51 +02:00
Eelco Dolstra	e778821940	Make concurrency more robust	2015-05-29 17:14:20 +02:00