1 files changed, 10 insertions, 2 deletions
diff --git a/pfinet/main.c b/pfinet/main.c
index 0f1fbfc7..8716fdbb 100644
--- a/pfinet/main.c
+++ b/pfinet/main.c
@@ -86,8 +86,16 @@ pfinet_demuxer (mach_msg_header_t *inp,
 
   /* We have several classes in one bucket, which need to be demuxed
      differently.  */
-  pi = ports_lookup_port(pfinet_bucket, inp->msgh_local_port, socketport_class);
-  
+  if (MACH_MSGH_BITS_LOCAL (inp->msgh_bits) ==
+      MACH_MSG_TYPE_PROTECTED_PAYLOAD)
+    pi = ports_lookup_payload (pfinet_bucket,
+			       inp->msgh_protected_payload,
+			       socketport_class);
+  else
+    pi = ports_lookup_port (pfinet_bucket,
+			    inp->msgh_local_port,
+			    socketport_class);
+
   if (pi)
     {
       ports_port_deref (pi);