| 
						
					 | 
					
						
						
							
						
						36d026f433
					 | 
					
						
						
							
							more precise comments
						
						
						
						
						
						
					 | 
					
						2022-02-08 16:24:37 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						410e73e68b
					 | 
					
						
						
							
							bugfix for TaskPool._map; usage example for TaskPool
						
						
						
						
						
						
					 | 
					
						2022-02-08 16:15:55 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						2f0b08edf0
					 | 
					
						
						
							
							implemented working pool size limit; adjusted tests and examples; small renaming
						
						
						
						
						
						
					 | 
					
						2022-02-06 13:08:39 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						3eae7d803f
					 | 
					
						
						
							
							huge rework; two different task pool classes now
						
						
						
						
						
						
					 | 
					
						2022-02-05 18:02:32 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						f45fef6497
					 | 
					
						
						
							
							usage example; pool close instead of gather
						
						
						
						
						
						
					 | 
					
						2022-02-04 19:23:09 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					| 
						
					 | 
					
						
						
							
						
						b3b95877fb
					 | 
					
						
						
							
							client cli and usage example
						
						
						
						
						
						
					 | 
					
						2022-02-04 16:25:44 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |