diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 14:56:00 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-11-21 14:56:00 +0000 |
| commit | 591a435f0c8a4dd4b8ddfe019ba8e5af3cacc93e (patch) | |
| tree | 5cd855421ef3dd5a8678ff1ace1012952fcfc20c /hurd.boot | |
| parent | 1db9f21772c810f0d118fc39986a87f8a98659bd (diff) | |
(ports_manage_port_operations_multithread/internal_demuxer): If the
incoming RPC has already been cancelled, then call cancel_rpc instead
of the user's demuxer.
(cancel_rpc): New function.
Diffstat (limited to 'hurd.boot')
0 files changed, 0 insertions, 0 deletions