diff --git a/servers/rs/manager.c b/servers/rs/manager.c index 0dc7a76d8..58d437ea7 100644 --- a/servers/rs/manager.c +++ b/servers/rs/manager.c @@ -5,6 +5,8 @@ * Jul 22, 2005: Created (Jorrit N. Herder) */ +#include + #include "inc.h" #include "kernel/proc.h" @@ -1109,7 +1111,7 @@ static int run_script(struct rproc *rp) case -1: return kill_service(rp, "unable to fork script", errno); case 0: - execle(rp->r_script, rp->r_script, rpub->label, reason, + execle(_PATH_BSHELL, rp->r_script, rpub->label, reason, incarnation_str, (char*) NULL, envp); printf("RS: run_script: execl '%s' failed: %s\n", rp->r_script, strerror(errno));