]> xenbits.xensource.com Git - xen.git/commit
projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8d3ca1b) | patch
tools/oxenstored: Switch to using the plugin for Xenctrl.domain_getinfo
authorAndrii Sultanov <andrii.sultanov@cloud.com>
Mon, 9 Sep 2024 12:02:42 +0000 (13:02 +0100)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Mon, 9 Sep 2024 13:59:05 +0000 (14:59 +0100)
commit52e6db7a8cc5654562fc821e836edfbab374e06c
tree58e3c13dd78804c23ea97065a840ea32e1565d30tree
parent8d3ca1b23b5413ea68109f9d0d719aef65819d9acommit | diff
tools/oxenstored: Switch to using the plugin for Xenctrl.domain_getinfo

Also run 'make format' on the file to reformat an adjacent block of code
correctly.

Signed-off-by: Andrii Sultanov <andrii.sultanov@cloud.com>
Acked-by: Christian Lindig <christian.lindig@cloud.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
tools/ocaml/xenstored/domains.ml diff | blob | blame | history
Xen (staging and unstable) mirror