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 | |
| 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.
| -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; } |