3 commits

Author	SHA1	Message	Date
jesopo	203216d94d	Switch more settings to FunctionSettings	2019-09-04 14:27:10 +01:00
jesopo	a0efd7c0c7	Use _make_socket provided timeout	2019-07-28 18:30:34 +01:00
jesopo	e2e48caf7f	add proxy.py ... closes #67	2019-07-28 18:15:04 +01:00