diff options
| author | Sergey Bugaev <bugaevc@gmail.com> | 2021-08-05 19:18:03 +0300 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-08-10 22:14:07 +0200 |
| commit | 70db307adda765729913eaf355077faa78c5caaf (patch) | |
| tree | f5bd0271ecfc10a8275f6f26ce7d8b7c28c3a150 /console | |
| parent | ccc7705774918e4ae5367c3e8931765807e3931d (diff) | |
| download | hurd-70db307adda765729913eaf355077faa78c5caaf.tar.gz hurd-70db307adda765729913eaf355077faa78c5caaf.tar.bz2 hurd-70db307adda765729913eaf355077faa78c5caaf.zip | |
console: Forward any libports-requested notifications to them
libports will start requesting dead-name notifications on its own.
As we handle all notifications, both ones we have requested and ones
libports has, distinguish between the two handlers by the port.
Diffstat (limited to 'console')
| -rw-r--r-- | console/display.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/console/display.c b/console/display.c index 1336371d..5ebabeb9 100644 --- a/console/display.c +++ b/console/display.c @@ -330,6 +330,10 @@ do_mach_notify_dead_name (struct port_info *pi, mach_port_t dead_name) struct modreq **preq; struct modreq *req; + /* Forward any libports-requested notifications to them. */ + if (ports_port_is_notify (pi)) + return ports_do_mach_notify_dead_name (pi, dead_name); + if (!notify_port || notify_port->pi.bucket != notify_bucket || notify_port->pi.class != notify_class) |