RS: don't share executable images with a dead process

diff --git a/servers/rs/manager.c b/servers/rs/manager.c
index 048b7ef3a48aa3f321d85dd1fcdd4df95cc871c9..e12db13c07c01a39fd4f1e13132387bbc6df08ad 100644 (file)
--- a/servers/rs/manager.c
+++ b/servers/rs/manager.c
@@ -1426,6 +1426,9 @@ endpoint_t source;
 
           for(i = 0; i < NR_SYS_PROCS; i++) {
               rp2 = &rproc[i];
+              if (!(rp2->r_flags & RS_IN_USE)) {
+                 continue;
+              }
               rpub2 = rproc[i].r_pub;
               if(strcmp(rpub->proc_name, rpub2->proc_name) == 0 &&
                   (rpub2->sys_flags & SF_USE_COPY)) {