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