override the debug when reading the config from disk at beggining.

diff --git a/xenvm/vmconfig.ml b/xenvm/vmconfig.ml
index f6fc9fa666853f59f2312274ce31f35ded6d3104..e732cb3e877ffc3a5b81ae3ed56dafff09148274 100644 (file)
--- a/xenvm/vmconfig.ml
+++ b/xenvm/vmconfig.ml
@@ -500,6 +500,7 @@ let of_file uuid error_report file =
 
        { !cfg with
                __uuid = !__uuid;
+               debug = !debug;
                startup = !startup;
                output = !output;
                no_mem_check = !no_mem_check;