diff options
author | emellor@ewan <emellor@ewan> | 2005-09-30 17:10:20 +0100 |
---|---|---|
committer | emellor@ewan <emellor@ewan> | 2005-09-30 17:10:20 +0100 |
commit | 42fb9678c9ee33b806ba4be14bf58a41146a09b0 (patch) | |
tree | 124d0170f22feb6530a411e756e918f2e90ce690 /tools/examples/xmexample1 | |
parent | db730ecdd132306732846b1ec26d8c5a7a873563 (diff) | |
download | xen-42fb9678c9ee33b806ba4be14bf58a41146a09b0.tar.gz xen-42fb9678c9ee33b806ba4be14bf58a41146a09b0.tar.bz2 xen-42fb9678c9ee33b806ba4be14bf58a41146a09b0.zip |
Add the config file parsing for the on_{poweroff,reboot,crash} options, so that
they actually take effect. Added behaviour "rename-restart" for debugging
purposes, that renames the domain out of the way, preserving it for debugging,
but starts a new domain too.
Add explicit remove of old domain paths when creating a new domain, to avoid
stale information affecting us (by shutting the domain down, for example).
Signed-off-by: Ewan Mellor <ewan@xensource.com>
Diffstat (limited to 'tools/examples/xmexample1')
-rw-r--r-- | tools/examples/xmexample1 | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/tools/examples/xmexample1 b/tools/examples/xmexample1 index bd2e70d9a2..be3af30a95 100644 --- a/tools/examples/xmexample1 +++ b/tools/examples/xmexample1 @@ -93,10 +93,15 @@ extra = "4" #---------------------------------------------------------------------------- # Configure the behaviour when a domain exits. There are three 'reasons' # for a domain to stop: poweroff, reboot, and crash. For each of these you -# may specify "destroy", meaning that the domain is cleaned up as normal, -# "restart", meaning that a new domain is started in place of the old one, or -# "preserve", meaning that no clean-up is done until the domain is manually -# destroyed (using xm destroy, for example). +# may specify: +# +# "destroy", meaning that the domain is cleaned up as normal; +# "restart", meaning that a new domain is started in place of the old +# one; +# "preserve", meaning that no clean-up is done until the domain is +# manually destroyed (using xm destroy, for example); or +# "rename-restart", meaning that the old domain is not cleaned up, but is +# renamed and a new domain started in its place. # # The default is # |