diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1999-05-04 17:05:27 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1999-05-04 17:05:27 +0000 |
| commit | 0f07be8955c4febfd2662e222f0371c8a92ae1d2 (patch) | |
| tree | ef01b3aedfa5265ef882c7e2eeab0289278b3b1e /serverboot/mach-exec.h | |
| parent | d7929458f96268c914dcf886e8fae5fa2ba00a3a (diff) | |
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 'serverboot/mach-exec.h')
0 files changed, 0 insertions, 0 deletions