From 02a229f14d5704fe7c941d850ae41681750c6da9 Mon Sep 17 00:00:00 2001
From: Philip Homburg <philip@cs.vu.nl>
Date: Fri, 27 Apr 2007 13:03:33 +0000
Subject: [PATCH] Publish endpoints in ds.

---
 servers/rs/manager.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/servers/rs/manager.c b/servers/rs/manager.c
index fce3fcaf8..44029f35f 100644
--- a/servers/rs/manager.c
+++ b/servers/rs/manager.c
@@ -10,6 +10,7 @@
 #include <sys/stat.h>
 #include <sys/wait.h>
 #include <minix/dmap.h>
+#include <minix/ds.h>
 #include <minix/endpoint.h>
 #include <minix/rs.h>
 #include <lib.h>
@@ -828,6 +829,11 @@ endpoint_t *endpoint;
   rproc_ptr[child_proc_nr_n] = rp;		/* mapping for fast access */
 
   if(endpoint) *endpoint = child_proc_nr_e;	/* send back child endpoint */
+
+  s= ds_publish_u32(rp->r_label, child_proc_nr_e);
+  if (s != OK)
+	printf("start_service: ds_publish_u32 failed: %d\n", s);
+
   return(OK);
 }