From 6c2a1bac7b60770beae3673522e8b3763db86986 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Wed, 8 Mar 2006 14:38:35 +0000 Subject: [PATCH] endpoint fixes for RS --- servers/rs/manager.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/servers/rs/manager.c b/servers/rs/manager.c index c5e0d5cf5..fd9667ef5 100644 --- a/servers/rs/manager.c +++ b/servers/rs/manager.c @@ -206,12 +206,14 @@ PUBLIC void do_exit(message *m_ptr) */ for (rp=BEG_RPROC_ADDR; rpr_flags & RS_IN_USE) && rp->r_pid == exit_pid) { + int proc; + proc = _ENDPOINT_P(rp->r_proc_nr_e); - rproc_ptr[rp->r_proc_nr_e] = NULL; /* invalidate */ + rproc_ptr[proc] = NULL; /* invalidate */ if ((rp->r_flags & RS_EXITING) || shutting_down) { rp->r_flags = 0; /* release slot */ - rproc_ptr[rp->r_proc_nr_e] = NULL; + rproc_ptr[proc] = NULL; } else if(rp->r_flags & RS_REFRESHING) { rp->r_restarts = -1; /* reset counter */