Fix misplaced comment.

diff --git a/servers/rs/manager.c b/servers/rs/manager.c
index f37a7c31b891b19b86b66721b5ca5c3a6012dc6b..efb02be17fc9caf8861fd46765452935c9dbbc90 100644 (file)
--- a/servers/rs/manager.c
+++ b/servers/rs/manager.c
@@ -453,11 +453,7 @@ struct rproc *rp;
        init_privs(rp, &rp->r_priv);
   }
 
-  /* Set and synch the privilege structure for the new service.
-   * In case the following fails, we can't kill the process as no signal
-   * manager has been assigned yet. The solution is to directly call
-   * terminate_service() without sending any signal to the process.
-   */
+  /* Set and synch the privilege structure for the new service. */
   if ((s = sys_privctl(child_proc_nr_e, SYS_PRIV_SET_SYS, &rp->r_priv)) != OK
        || (s = sys_getpriv(&rp->r_priv, child_proc_nr_e)) != OK) {
        printf("unable to set privilege structure: %d\n", s);