xen-org/xen-api — pull request #509 by rokstrnisa (2012-03-15 17:55:02+00:00)
Title: Simplifies two functions in monitor.ml, making them more efficient.

Signed-off-by: Rok Strnisa