diff options
Diffstat (limited to 'tools/domain_builder/dom_kill.c')
| -rw-r--r-- | tools/domain_builder/dom_kill.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/domain_builder/dom_kill.c b/tools/domain_builder/dom_kill.c index ddc0f8a4fd..b27fca9a58 100644 --- a/tools/domain_builder/dom_kill.c +++ b/tools/domain_builder/dom_kill.c @@ -21,7 +21,7 @@ static int do_kill_domain(int dom_id, int force) dom0_op_t dop; int cmd_fd; - dop.cmd = DOM0_KILLDOMAIN; + dop.cmd = DOM0_DESTROYDOMAIN; dop.u.killdomain.domain = dom_id; dop.u.killdomain.force = force; |