(create_disk_pager): Fork off service thread for pager ports.

1 files changed, 13 insertions, 0 deletions

diff --git a/ufs/pager.c b/ufs/pager.c
index cdfecf95..d972eb0f 100644
--- a/ufs/pager.c
+++ b/ufs/pager.c
@@ -382,8 +382,21 @@ pager_clear_user_data (struct user_pager_info *upi)
 void
 create_disk_pager ()
 {
+  void
+    thread_function (any_t foo __attribute__ ((unused)))
+      {
+	for (;;)
+	  ports_manage_port_operations_multithread (pager_bucket,
+						    pager_demuxer,
+						    1000 * 60 * 2,
+						    1000 * 60 * 10,
+						    1, MACH_PORT_NULL);
+      }
+
   pager_bucket = ports_create_bucket ();
 
+  cthread_detach (cthread_fork ((cthread_fn_t) thread_function, (any_t) 0));
+  
   diskpager = malloc (sizeof (struct user_pager_info));
   diskpager->type = DISK;
   diskpager->np = 0;