1 files changed, 9 insertions, 0 deletions
diff --git a/console.c b/console.c
index ca20842..b20d4a9 100644
--- a/console.c
+++ b/console.c
@@ -219,9 +219,15 @@ consolewrite(struct inode *ip, int user_src, uint64 src, int n)
 void
 consoleintr(int c)
 {
+  int doprocdump = 0;
+  
   acquire(&cons.lock);
 
   switch(c){
+  case C('P'):  // Process list.
+    // procdump() locks cons.lock indirectly; invoke later
+    doprocdump = 1;
+    break;
   case C('U'):  // Kill line.
     while(input.e != input.w &&
           input.buf[(input.e-1) % INPUT_BUF] != '\n'){
@@ -249,6 +255,9 @@ consoleintr(int c)
   }
   
   release(&cons.lock);
+
+  if(doprocdump)
+    procdump();
 }
 
 void