Andrew Hutchings f69fd0f4cf Documentation and pool manager configuration changes
* Add options to pool manager
* Add required options tester
* Improve api_server multi option handling
* Make option names more sensible
* Document options
* Fix documentation errors

Change-Id: I7a175b23ba3cf8fa40dea746901f260981e3af4c
2012-11-06 12:36:40 +00:00
..