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 /libpager | |
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 'libpager')
0 files changed, 0 insertions, 0 deletions