8 Commits

Author	SHA1	Message	Date
Kaveh Vahedipour	7b80deb5cc	Fixed object assignment operator for agency's key value store (#3701) ... * Fixed object assignment operator for agency's key value store * Node's toJson is now actually toJson. getString should be used for string extractions * adjust agency's documentation (clarify precondition)	2017-11-17 15:49:40 +01:00
Kaveh Vahedipour	627f344266	fixed a bug, where when servers failed, when also agency leadership c… (#3189) ... * fixed a bug, where when servers failed, when also agency leadership changes * redid entire design of checkDBServers/checkCoordinators. * comparison in supervision must be between oldPersisted and newHealth * UI stuff * UI stuff * FailedServer test needed adjustment * Hopefully final round * fixed supervision failure detection * FailedServer tests back to origin devel * oldNot documented among preconditions in Agency HTTP API docs * changed only look for status updated * non action line in api-cluster	2017-09-07 16:10:23 +02:00
Max Neunhöffer	76f07d30f3	Bug fix/fix agency documentation (#2780) ... * Fix agency API documentation.	2017-07-12 13:58:50 +02:00
Wilfried Goesgens	81be8b9901	rename .mdpp files to .md so the handling is easier.	2017-05-04 12:04:24 +02:00
Simran Brucherseifer	e4eeb57e30	Docs: Use standard Markdown notation for headlines and disable MarkdownPP	2016-12-06 02:41:58 +01:00
Manuel B	3b03529b2c	fix typo	2016-10-13 11:03:43 +02:00
Kaveh Vahedipour	144b6d3258	agency documentation typos	2016-10-10 14:43:01 +02:00
Kaveh Vahedipour	8c2661662e	overview documentation of agency	2016-10-10 12:36:44 +02:00