entrance_wait: kill server if session was killed.

This commit is contained in:
Marcel Hollerbach 2015-08-03 14:02:54 +02:00
parent 4ed615e5eb
commit 6061034bf1
1 changed files with 6 additions and 2 deletions

View File

@ -62,9 +62,13 @@ main (int argc __UNUSED__, char **argv __UNUSED__)
if ((errno == ECHILD) || (errno == EINVAL))
return -1;
}
else if (rpid == _x_pid || rpid == spid)
else if (rpid == _x_pid)
{
break;
break;
}
else if (rpid == spid)
{
kill_wait();
}
}