diff options
| -rw-r--r-- | sys/src/cmd/page.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/src/cmd/page.c b/sys/src/cmd/page.c index 7e7b9901b..a44f74d4b 100644 --- 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; |