+ secdebug("machsrv", "adding port %d to primary dispatch", receiver.port());
+ mPortSet += receiver;
+}
+
+void MachServer::remove(Port receiver)
+{
+ secdebug("machsrv", "removing port %d from primary dispatch", receiver.port());
+ mPortSet -= receiver;
+}
+
+
+//
+// Register for mach port notifications
+//
+void MachServer::notifyIfDead(Port port, bool doNotify) const
+{
+ if (doNotify)
+ port.requestNotify(mServerPort, MACH_NOTIFY_DEAD_NAME, true);
+ else
+ port.cancelNotify(MACH_NOTIFY_DEAD_NAME);
+}
+
+void MachServer::notifyIfUnused(Port port, bool doNotify) const
+{
+ if (doNotify)
+ port.requestNotify(port, MACH_NOTIFY_NO_SENDERS, true);
+ else
+ port.cancelNotify(MACH_NOTIFY_NO_SENDERS);