From 9b8f37bb27acc3da426e9d51a4612e04dcaa3091 Mon Sep 17 00:00:00 2001 From: David van Moolenbroek Date: Fri, 7 Jan 2011 17:10:12 +0000 Subject: [PATCH] RS: don't share executable images with a dead process --- servers/rs/manager.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/servers/rs/manager.c b/servers/rs/manager.c index 048b7ef3a..e12db13c0 100644 --- 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)) { -- 2.44.0