mirror of
https://gitlab.freedesktop.org/pulseaudio/pulseaudio.git
synced 2025-11-10 13:29:58 -05:00
merge r2128 from trunk
git-svn-id: file:///home/lennart/svn/public/pulseaudio/branches/prepare-0.9.10@2171 fefdeb5f-60dc-0310-8127-8f9354f1896f
This commit is contained in:
parent
46cd2253ab
commit
a1ec3d7c9d
1 changed files with 1 additions and 1 deletions
|
|
@ -151,7 +151,7 @@ static void signal_handler(int sig) {
|
||||||
|
|
||||||
} else if (phase == PHASE_SOFT) {
|
} else if (phase == PHASE_SOFT) {
|
||||||
write_err("Hard CPU time limit exhausted, terminating forcibly.\n");
|
write_err("Hard CPU time limit exhausted, terminating forcibly.\n");
|
||||||
_exit(1); /* Forced exit */
|
abort(); /* Forced exit */
|
||||||
}
|
}
|
||||||
|
|
||||||
errno = saved_errno;
|
errno = saved_errno;
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue