From: David van Moolenbroek Date: Fri, 7 Jan 2011 17:10:12 +0000 (+0000) Subject: RS: don't share executable images with a dead process X-Git-Tag: v3.2.0~704 X-Git-Url: http://zhaoyanbai.com/repos/FAQ?a=commitdiff_plain;h=9b8f37bb27acc3da426e9d51a4612e04dcaa3091;p=minix.git RS: don't share executable images with a dead process --- 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)) {