2 commits

Author	SHA1	Message	Date
Philipp Hörist	d4986e22bf	Remove dead servers from servers list ... All removed servers did not answer to a IBR request	2018-11-03 13:58:14 +01:00
Philipp Hörist	7e3d3f95bf	Use json format for the servers list	2018-11-03 13:57:50 +01:00