diff options
author | cinap_lenrek <cinap_lenrek@gmx.de> | 2013-06-09 01:36:45 +0200 |
---|---|---|
committer | cinap_lenrek <cinap_lenrek@gmx.de> | 2013-06-09 01:36:45 +0200 |
commit | c9e79c27a6bf0e06a1d15a43240f8931bce8fe33 (patch) | |
tree | d78e074fd167818690a80edbad1526c1a26f53f6 | |
parent | 667abe102cdea1409f5164bb75f70f0e573c2d60 (diff) | |
download | plan9front-c9e79c27a6bf0e06a1d15a43240f8931bce8fe33.tar.xz |
page: exit on kill note
-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 c7170cc3e..7e7b9901b 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, "kill")) + exits("killed"); return 0; } |