David Shrewsbury 1c2c932f53 Add statistics polling interval option. ...

New --stats-poll option to specify statistics polling interval
in seconds. Update documentation for the new option.

Change-Id: I57deafec96bd2543217a45d3f52e8ffd46d208b0

2012-11-09 09:49:53 -05:00

..

client

PDF build and doc reshuffle

2012-10-25 13:40:15 +01:00

pool_mgm

Document the code layout for the pool manager

2012-11-06 16:12:50 +00:00

sources

Add introduction to libra documentation

2012-10-29 12:17:24 +00:00

worker

Update worker docs for recent changes.

2012-11-08 11:45:10 -05:00

conf.py

Put the version in the PDF doc filename

2012-10-29 12:19:52 +00:00

config.rst

Add statistics polling interval option.

2012-11-09 09:49:53 -05:00

index.rst

Documentation changes

2012-11-05 11:41:17 +00:00

introduction.rst

Add introduction to libra documentation

2012-10-29 12:17:24 +00:00

libra.style

Fix PDF doc margins so index renders correctly

2012-10-25 20:52:13 +01:00

libralayout.png

Add introduction to libra documentation

2012-10-29 12:17:24 +00:00