Eelco Dolstra
							
						 
					 | 
					
						
						
							
						
						214b95706c
					 | 
					
						
						
							
							On SIGINT, shut down the builder threads
						
						
						
						
						
						
						
						Note that they don't get interrupted at the moment (so on SIGINT, any
running builds will need to finish first). 
						
						
					 | 
					
						2015-05-29 20:02:15 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Eelco Dolstra
							
						 
					 | 
					
						
						
							
						
						e778821940
					 | 
					
						
						
							
							Make concurrency more robust
						
						
						
						
						
						
					 | 
					
						2015-05-29 17:14:20 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Eelco Dolstra
							
						 
					 | 
					
						
						
							
						
						8640e30787
					 | 
					
						
						
							
							Very basic multi-threaded queue runner
						
						
						
						
						
						
					 | 
					
						2015-05-29 01:31:12 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Eelco Dolstra
							
						 
					 | 
					
						
						
							
						
						604fdb908f
					 | 
					
						
						
							
							Pass null values to libpqxx properly
						
						
						
						
						
						
					 | 
					
						2015-05-28 19:06:17 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Eelco Dolstra
							
						 
					 | 
					
						
						
							
						
						dc446c3980
					 | 
					
						
						
							
							Start of single-process hydra-queue-runner
						
						
						
						
						
						
					 | 
					
						2015-05-28 17:39:29 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |