diff options
author | Roland McGrath <roland@gnu.org> | 1999-05-16 15:23:07 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1999-05-16 15:23:07 +0000 |
commit | 9e45335d39cf93967bd69060a18081afb4a5f9ba (patch) | |
tree | 802f3109c44134d3a6ceee119951b737184369ab /utils/portinfo.c | |
parent | 9abe207043226737db7173a29e1b7af3e1643a88 (diff) |
1999-05-16 Roland McGrath <roland@baalperazim.frob.com>
* portinfo.c (parse_task): Fail with appropriate error message if the
fetched task is MACH_PORT_NULL.
Diffstat (limited to 'utils/portinfo.c')
-rw-r--r-- | utils/portinfo.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/portinfo.c b/utils/portinfo.c index 7b7a35af..be30cbe1 100644 --- a/utils/portinfo.c +++ b/utils/portinfo.c @@ -100,6 +100,8 @@ parse_task (char *arg) err = proc_pid2task (proc, pid, &task); if (err) error (11, err, "%s", arg); + else if (task == MACH_PORT_NULL) + error (11, 0, "%s: Process %d is dead and has no task", arg, (int) pid); return task; } |