diff options
| author | Miles Bader <miles@gnu.org> | 1995-05-05 14:14:09 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-05-05 14:14:09 +0000 |
| commit | 283952c646228d89848ea08d12ed9549b3468828 (patch) | |
| tree | b0fb2776f533ec980144fa89eee9a7a588c1602e /utils | |
| parent | 25acd0381b899ca02c38541aaeb4ab0fa22a1edf (diff) | |
If a msg port call times out, disable use of that msg port.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions