fix the empty string serial argument

diff --git a/xenvm/vmact.ml b/xenvm/vmact.ml
index 332a44a8aec51cbd88473c901b225efc471578c7..3b426d1c09b1f777217145f0aae43a1900ca5498 100644 (file)
--- a/xenvm/vmact.ml
+++ b/xenvm/vmact.ml
@@ -194,7 +194,7 @@ let dm_info_of_cfg cfg =
        {
                Device.Dm.memory = cfg.memory;
                Device.Dm.boot = cfg.boot;
-               Device.Dm.serial = cfg.serial;
+               Device.Dm.serial = if cfg.serial = "" then "pty" else cfg.serial;
                Device.Dm.vcpus = cfg.vcpus;
                Device.Dm.nics = nics;
                Device.Dm.pci_emulations = [];