diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/man/xmdomain.cfg.pod.5 | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/man/xmdomain.cfg.pod.5 b/docs/man/xmdomain.cfg.pod.5 index 6fe1da79f7..f4a8b79f13 100644 --- a/docs/man/xmdomain.cfg.pod.5 +++ b/docs/man/xmdomain.cfg.pod.5 @@ -298,6 +298,22 @@ it holds, so that the new one may take them. =back +=over 4 + +Additionally, the "on_crash" event can also take: + +=item B<coredump-destroy> + +Dump the crashed domain's core and then destroy it. + +=back + +=item B<coredump-restart> + +Dump the crashed domain's core and then restart it. + +=back + =head1 EXAMPLES The following are quick examples of ways that domains might be |