diff options
Diffstat (limited to 'stubdom/stubdom-dm')
| -rw-r--r-- | stubdom/stubdom-dm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stubdom/stubdom-dm b/stubdom/stubdom-dm index 76068a0bd0..06b29e5b3f 100644 --- a/stubdom/stubdom-dm +++ b/stubdom/stubdom-dm @@ -82,8 +82,8 @@ term() { kill %1 ( [ -n "$vncpid" ] && kill -9 $vncpid + rm ${stubdom_configdir}/$domname-dm xm destroy $domname-dm - rm ${stubdom_configdir}/$domname-dm ) & # We need to exit immediately so as to let xend do the commands above exit 0 |