X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=grading%2Fuserprog%2Fpanic.diff;fp=grading%2Fuserprog%2Fpanic.diff;h=0000000000000000000000000000000000000000;hb=aa611970d5cbcfd5b0170c03effd74c2cab05708;hp=6134d47e2111560a36425bd0ff449991df3a2924;hpb=5f1b986185717577aac1922544cb3a7b1a56b632;p=pintos-anon

diff --git a/grading/userprog/panic.diff b/grading/userprog/panic.diff
deleted file mode 100644
index 6134d47..0000000
--- a/grading/userprog/panic.diff
+++ /dev/null
@@ -1,20 +0,0 @@
-diff -up /home/blp/cs140/pintos/src/lib/debug.c.\~1.8.\~ /home/blp/cs140/pintos/src/lib/debug.c
---- /home/blp/cs140/pintos/src/lib/debug.c.~1.8.~	2004-09-12 13:14:11.000000000 -0700
-+++ /home/blp/cs140/pintos/src/lib/debug.c	2004-10-17 00:02:32.000000000 -0700
-@@ -5,6 +5,7 @@
- #include <stdio.h>
- #include <string.h>
- #ifdef KERNEL
-+#include "threads/init.h"
- #include "threads/interrupt.h"
- #include "devices/serial.h"
- #else
-@@ -83,7 +84,7 @@ debug_panic (const char *file, int line,
- 
- #ifdef KERNEL
-   serial_flush ();
--  for (;;);
-+  power_off ();
- #else
-   exit (1);
- #endif