vm: handle disappearing process case

Change-Id: Id96759883e4cdb175c79dcef7ef5ff254612101f

diff --git a/servers/vm/pagefaults.c b/servers/vm/pagefaults.c
index 46c254777c8a32ba5dd98ad245d24cc6d4c1bb17..c945f4857d7b4c4dd4b8484c1624b10403c6da01 100644 (file)
--- a/servers/vm/pagefaults.c
+++ b/servers/vm/pagefaults.c
@@ -147,6 +147,8 @@ static void pf_cont(struct vmproc *vmp, message *m,
         void *arg, void *statearg)
 {
        struct pf_state *state = statearg;
+       int p;
+       if(vm_isokendpt(state->ep, &p) != OK) return;   /* signal */
        handle_pagefault(state->ep, state->vaddr, state->err, 1);
 }