add a need_threading for tasks to represent the tasks that need to be running in...

diff --git a/xenvm/tasks.ml b/xenvm/tasks.ml
index 1621cdd39b10c6482c587ad9a9c3d9c7f2fa2498..7a841468c9e24293d3d42415e3c6ad7b24bc60c8 100644 (file)
--- a/xenvm/tasks.ml
+++ b/xenvm/tasks.ml
@@ -65,11 +65,12 @@ type task_descr = {
        name: string;
        description: string;
 (*     vmstate: ;*)
+       need_threading: bool;
        args: (string * argreq * argty) list; (* name, required, type *)
 }
 
-let mk_desc name = { name = name; description = ""; args = [] }
-let mk_desc_args name args = { name = name; description = ""; args = args }
+let mk_desc name = { name = name; description = ""; need_threading = false; args = [] }
+let mk_desc_args name args = { name = name; description = ""; need_threading = false; args = args }
 
 let actions_table = [
        (Quit,       mk_desc "quit");