diff options
| author | Miles Bader <miles@gnu.org> | 1996-01-05 21:47:19 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-01-05 21:47:19 +0000 |
| commit | 378061c374e3721b6e73d1d92be21c5b7d4ed013 (patch) | |
| tree | 60088fd00439d0aa044a8b8e0c61e8a00d3c7ae9 /libps/user.c | |
| parent | b82490a2ad013f83719871923b2a49444b9bdd75 (diff) | |
(ports_interrupt_rpc_on_notification): If PORT is dead or bogus, interrupt
RPC immediately, and don't add a new request.
Diffstat (limited to 'libps/user.c')
0 files changed, 0 insertions, 0 deletions