54 commits

Author	SHA1	Message	Date
jesopo	a220ff8485	Timeout REST API requests after 10 seconds	2018-10-04 17:10:05 +01:00
jesopo	57b72a94c5	Implement !botset/!botget in modules/set.py	2018-10-04 17:09:52 +01:00
jesopo	a533228112	Implement api keys in modules/rest_api.py	2018-10-04 17:09:35 +01:00
jesopo	82b40cc8b2	Add basics of (by-default disabled) REST API	2018-10-04 16:01:13 +01:00