From 174fdb543c9f8efd006cd8e77fb0ce16fa7b0279 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Tue, 21 Jul 2009 23:53:07 +0100 Subject: [PATCH] override the debug when reading the config from disk at beggining. --- xenvm/vmconfig.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/xenvm/vmconfig.ml b/xenvm/vmconfig.ml index f6fc9fa..e732cb3 100644 --- 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; -- 2.39.5