Simon Ebner f7926083ca 
	
	
	Clean up unclosed file handles ... 
			Close all file handles that are left dangling to avoid warnings such as
```
ResourceWarning: unclosed file <_io.TextIOWrapper
name='...' mode='r' encoding='UTF-8'> params = json_load(filename.open('r'))
``` 
		
	 
		2021-10-24 23:15:05 +02:00 
	 
	
	
	
		 
	
	
		
			
			
			
			
			
			2021-10-17 16:09:56 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-26 07:25:53 +02:00 
		 
	
		
			
			
			
			
			
			2021-07-23 18:41:29 +07:00 
		 
	
		
			
			
			
			
			
			2021-10-07 07:15:09 +02:00 
		 
	
		
			
			
			
			
			
			2021-10-24 23:15:05 +02:00 
		 
	
		
			
			
			
			
			
			2021-10-19 19:48:56 +02:00 
		 
	
		
			
			
			
			
			
			2021-10-17 10:30:06 +02:00 
		 
	
		
			
			
			
			
			
			2021-10-24 23:15:05 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-26 07:25:53 +02:00 
		 
	
		
			
			
			
			
			
			2019-09-08 19:05:22 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-06 16:35:39 -06:00 
		 
	
		
			
			
			
			
			
			2021-10-02 01:44:30 -06:00 
		 
	
		
			
			
			
			
			
			2021-08-26 07:25:53 +02:00 
		 
	
		
			
			
			
			
			
			2021-10-17 10:30:06 +02:00 
		 
	
		
			
			
			
			
			
			2019-10-24 23:11:07 +03:00 
		 
	
		
			
			
			
			
			
			2021-08-26 07:25:53 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-13 20:27:32 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-12 08:18:17 +02:00 
		 
	
		
			
			
			
			
			
			2020-09-04 07:28:21 +02:00 
		 
	
		
			
			
			
			
			
			2021-10-17 10:39:53 +02:00 
		 
	
		
			
			
			
			
			
			2020-09-28 19:43:15 +02:00 
		 
	
		
			
			
			
			
			
			2021-09-08 02:06:01 -06:00 
		 
	
		
			
			
			
			
			
			2021-07-16 02:03:25 -06:00 
		 
	
		
			
			
			
			
			
			2021-07-12 13:22:36 +00:00 
		 
	
		
			
			
			
			
			
			2021-09-14 06:45:26 +02:00 
		 
	
		
			
			
			
			
			
			2021-08-12 05:02:56 +00:00 
		 
	
		
			
			
			
			
			
			2021-08-26 07:25:53 +02:00 
		 
	
		
			
			
			
			
			
			2020-09-28 19:43:15 +02:00 
		 
	
		
			
			
			
			
			
			2021-03-19 06:40:04 +01:00 
		 
	
		
			
			
			
			
			
			2021-08-26 06:48:26 +02:00 
		 
	
		
			
			
			
			
			
			2021-06-08 21:20:35 +02:00