Sergey Bugaev 4e506f67cb hurd: Replace reply port with a dead name on failed interruption
If we're trying to interrupt an interruptible RPC, but the server fails
to respond to our __interrupt_operation () call, we instead destroy the
reply port we were expecting the reply to the RPC on.

Instead of deallocating the name completely, replace it with a dead
name, so the name won't get reused for some other right, and deallocate
it in _hurd_intr_rpc_mach_msg once we return from the signal handler.

Signed-off-by: Sergey Bugaev <bugaevc@gmail.com>
Message-Id: <20230429201822.2605207-4-bugaevc@gmail.com>
2023-05-01 03:18:48 +02:00
..
2023-04-29 17:03:59 +02:00
2023-02-12 15:55:04 +01:00
2023-04-29 17:03:59 +02:00
2021-12-28 10:28:22 +01:00
2023-04-03 00:55:12 +02:00
2023-02-01 23:32:21 +01:00
2023-02-12 15:55:04 +01:00
2023-02-12 15:56:21 +01:00