aboutsummaryrefslogtreecommitdiff
path: root/proc/info.c
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1999-05-04 17:05:27 +0000
committerThomas Bushnell <thomas@gnu.org>1999-05-04 17:05:27 +0000
commit0f07be8955c4febfd2662e222f0371c8a92ae1d2 (patch)
treeef01b3aedfa5265ef882c7e2eeab0289278b3b1e /proc/info.c
parentd7929458f96268c914dcf886e8fae5fa2ba00a3a (diff)
downloadhurd-0f07be8955c4febfd2662e222f0371c8a92ae1d2.tar.gz
hurd-0f07be8955c4febfd2662e222f0371c8a92ae1d2.tar.bz2
hurd-0f07be8955c4febfd2662e222f0371c8a92ae1d2.zip
1999-05-01 Mark Kettenis <kettenis@gnu.org>
* msg.c (check_msgport_death): New function. (S_proc_getmsgport): Use it. * proc.h (check_msgport_death): Provide prototype. * info.c (S_proc_getprocinfo): Call check_msgport_death to make sure that our knowledge about P's message port is up to date.
Diffstat (limited to 'proc/info.c')
-rw-r--r--proc/info.c4
1 files changed, 3 insertions, 1 deletions
diff --git a/proc/info.c b/proc/info.c
index c44bde6a..1a398461 100644
--- a/proc/info.c
+++ b/proc/info.c
@@ -376,7 +376,9 @@ S_proc_getprocinfo (struct proc *callerp,
return ESRCH;
task = p->p_task;
- msgport = p->p_deadmsg ? MACH_PORT_NULL : p->p_msgport;
+
+ check_msgport_death (p);
+ msgport = p->p_msgport;
if (*flags & PI_FETCH_THREAD_DETAILS)
*flags |= PI_FETCH_THREADS;