diff options
| author | Miles Bader <miles@gnu.org> | 1995-08-29 22:05:08 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-08-29 22:05:08 +0000 |
| commit | a86d03817f7355fbf522b2f9588479f40a3ff2e2 (patch) | |
| tree | 4f1bb2165c1d2396b77b3ff6bb2889f6d5d42644 /libpipe/pipe.c | |
| parent | 77f4bcd690825fc95ec47173d86c1e5db5405b7b (diff) | |
(S_interrupt_operation): Use ports_interrupt_rpc to interrupt waiting threads.
Diffstat (limited to 'libpipe/pipe.c')
0 files changed, 0 insertions, 0 deletions