summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2007-12-30 13:22:25 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-18 00:27:14 +0200
commit6c5335e7cad873e0fc44aa0e71bbf1294a6bb7ba (patch)
tree5b399c2ec41c5df861141e939513f605025d6c5b
parent45b1b09e0c92f21852d16477e722595e70bc0919 (diff)
2007-12-30 Samuel thibault <samuel.thibault@ens-lyon.org>
* kern/debug.c (panic) [MACH_KDB]: Don't wait before running the debugger.
-rw-r--r--ChangeLog5
-rw-r--r--kern/debug.c6
2 files changed, 8 insertions, 3 deletions
diff --git a/ChangeLog b/ChangeLog
index 98fe2b6..dbad4f4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2007-12-30 Samuel thibault <samuel.thibault@ens-lyon.org>
+
+ * kern/debug.c (panic) [MACH_KDB]: Don't wait before running the
+ debugger.
+
2007-12-11 Thomas Schwinge <tschwinge@gnu.org>
* linux/dev/include/linux/nfs.h: Remove unused file.
diff --git a/kern/debug.c b/kern/debug.c
index d07f1ed..e81c6a2 100644
--- a/kern/debug.c
+++ b/kern/debug.c
@@ -155,6 +155,9 @@ panic(const char *s, ...)
va_end(listp);
printf("\n");
+#if MACH_KDB
+ Debugger("panic");
+#else
/* Give the user time to see the message */
{
int i = 1000; /* seconds */
@@ -162,9 +165,6 @@ panic(const char *s, ...)
delay (1000000); /* microseconds */
}
-#if MACH_KDB
- Debugger("panic");
-#else
halt_all_cpus (1);
#endif
}