 d0d7a3e1c2
			
		
	
	
		d0d7a3e1c2
		
	
	
	
	
		
			
			typical use case: result_proxy can be defined in the user settings, but are not defined the default settings.yml
		
			
				
	
	
		
			10 lines
		
	
	
		
			227 B
		
	
	
	
		
			YAML
		
	
	
	
	
	
			
		
		
	
	
			10 lines
		
	
	
		
			227 B
		
	
	
	
		
			YAML
		
	
	
	
	
	
| use_default_settings: True
 | |
| server:
 | |
|     secret_key: "user_secret_key"
 | |
|     bind_address: "0.0.0.0"
 | |
|     default_http_headers:
 | |
|         Custom-Header: Custom-Value
 | |
| result_proxy:
 | |
|    url : https://localhost/morty
 | |
|    key : "$ecretKey"
 |