page: handle interrupt note

diff --git a/sys/src/cmd/page.c b/sys/src/cmd/page.c
index 7e7b9901b5dc975291fcde1e525e3125fdb66b36..a44f74d4b30973e1d75cb0438228a9601e39f042 100644 (file)
--- a/sys/src/cmd/page.c
+++ b/sys/src/cmd/page.c
@@ -195,6 +195,8 @@ catchnote(void *, char *msg)
                return 1;
        if(strstr(msg, "alarm"))
                return 1;
+       if(strstr(msg, "interrupt"))
+               return 1;
        if(strstr(msg, "kill"))
                exits("killed");
        return 0;