Export the data collected by DRBD in JSON format
authorMichele Tartara <mtartara@google.com>
Thu, 14 Mar 2013 13:34:36 +0000 (13:34 +0000)
committerMichele Tartara <mtartara@google.com>
Thu, 28 Mar 2013 13:13:18 +0000 (14:13 +0100)
commit8c5419ee54033bbe89172c13bb822a725a78e0f4
tree52d0cb3bf42bf1201b34110e80cd7b221df5d3e7
parent82437b280123d50fcab4f63e8ddfb79fdf6f6786
Export the data collected by DRBD in JSON format

Write an intermediate function computing the JSON data before adding them
to the DCReport.

Directly export the data computed by that function (with default parameters)
allowing them to be used (in the future) by the monitoring agent.

Signed-off-by: Michele Tartara <mtartara@google.com>
Reviewed-by: Bernardo Dal Seno <bdalseno@google.com>
src/Ganeti/DataCollectors/Drbd.hs