Skip to content

Commit dd87705

Browse files
committed
Merge pull request #44 from djs55/add-uuid
Add an optional Volume.uuid
2 parents 7ff43a0 + e831e3d commit dd87705

File tree

1 file changed

+6
-1
lines changed

1 file changed

+6
-1
lines changed

generator/src/control.ml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,12 @@ let api =
3131
"within the enclosing Storage Repository (SR). A typical value would";
3232
"be a filename or an LVM volume name."
3333
]),
34-
[ "name", Basic String, String.concat " " [
34+
[ "uuid", Option (Basic String), String.concat " " [
35+
"A uuid (or guid) for the volume, if one is available.";
36+
"If a storage system has a built-in notion of a guid, then it";
37+
"will be returned here.";
38+
];
39+
"name", Basic String, String.concat " " [
3540
"Short, human-readable label for the volume. Names are commonly used by";
3641
"when displaying short lists of volumes.";
3742
];

0 commit comments

Comments
 (0)