diff options
| -rw-r--r-- | sys/kern/kern_shutdown.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sys/kern/kern_shutdown.c b/sys/kern/kern_shutdown.c index a711cfb..3b83723 100644 --- a/sys/kern/kern_shutdown.c +++ b/sys/kern/kern_shutdown.c @@ -67,6 +67,9 @@ #include <machine/md_var.h> #include <sys/signalvar.h> +#ifdef DDB +#include <ddb/ddb.h> +#endif #ifndef PANIC_REBOOT_WAIT_TIME #define PANIC_REBOOT_WAIT_TIME 15 /* default to 15 seconds */ @@ -208,6 +211,11 @@ boot(int howto) /* collect extra flags that shutdown_nice might have set */ howto |= shutdown_howto; +#ifdef DDB + /* We are out of the debugger now. */ + db_active = 0; +#endif + #ifdef SMP if (smp_active) printf("boot() called on cpu#%d\n", PCPU_GET(cpuid)); |
