summaryrefslogtreecommitdiff
path: root/sys/kern/kern_shutdown.c
diff options
context:
space:
mode:
authorPeter Wemm <peter@FreeBSD.org>2001-10-19 23:32:03 +0000
committerPeter Wemm <peter@FreeBSD.org>2001-10-19 23:32:03 +0000
commit259ed917409bf02ad697b2b2d7ab97b327c564c0 (patch)
tree217b1137d89adf203a8d8908c3344dede6524623 /sys/kern/kern_shutdown.c
parent94e0b85e76bdedc78016889573a76936fe464f06 (diff)
Notes
Diffstat (limited to 'sys/kern/kern_shutdown.c')
-rw-r--r--sys/kern/kern_shutdown.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/sys/kern/kern_shutdown.c b/sys/kern/kern_shutdown.c
index d493599ce9c3..46861344826e 100644
--- a/sys/kern/kern_shutdown.c
+++ b/sys/kern/kern_shutdown.c
@@ -91,6 +91,10 @@ SYSCTL_INT(_debug, OID_AUTO, debugger_on_panic, CTLFLAG_RW,
&debugger_on_panic, 0, "Run debugger on kernel panic");
#endif
+int sync_on_panic = 1;
+SYSCTL_INT(_kern, OID_AUTO, sync_on_panic, CTLFLAG_RW,
+ &sync_on_panic, 0, "Do a sync before rebooting from a panic");
+
SYSCTL_NODE(_kern, OID_AUTO, shutdown, CTLFLAG_RW, 0, "Shutdown environment");
#ifdef HW_WDOG
@@ -625,6 +629,8 @@ panic(const char *fmt, ...)
}
#endif
#endif
+ if (!sync_on_panic)
+ bootopt |= RB_NOSYNC;
boot(bootopt);
}