entrance_wait: kill server if session was killed.
This commit is contained in:
parent
cecdf152c7
commit
358b445c22
|
@ -62,10 +62,14 @@ main (int argc __UNUSED__, char **argv __UNUSED__)
|
||||||
if ((errno == ECHILD) || (errno == EINVAL))
|
if ((errno == ECHILD) || (errno == EINVAL))
|
||||||
return -1;
|
return -1;
|
||||||
}
|
}
|
||||||
else if (rpid == _x_pid || rpid == spid)
|
else if (rpid == _x_pid)
|
||||||
{
|
{
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
|
else if (rpid == spid)
|
||||||
|
{
|
||||||
|
kill_wait();
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
if (WIFEXITED(status) && WEXITSTATUS(status))
|
if (WIFEXITED(status) && WEXITSTATUS(status))
|
||||||
|
|
Loading…
Reference in New Issue