diff options
| author | Robin Gareus <robin@gareus.org> | 2014-06-05 02:09:18 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2014-06-05 02:22:13 +0200 |
| commit | 3813c7afae2b072a1b84e931e904a776b6213159 (patch) | |
| tree | bb5d1cf6860c712aca875799900732ac789c6c56 /libs/pbd/system_exec.cc | |
| parent | 822c460d15f9dfe5edcfd5a3fad6f2a0d0835552 (diff) | |
increase system-exec timeouts for kill.
Diffstat (limited to 'libs/pbd/system_exec.cc')
| -rw-r--r-- | libs/pbd/system_exec.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/libs/pbd/system_exec.cc b/libs/pbd/system_exec.cc index c6d2da31d3..7e94880f85 100644 --- a/libs/pbd/system_exec.cc +++ b/libs/pbd/system_exec.cc @@ -627,7 +627,7 @@ SystemExec::terminate () close_stdin(); if (pid) { - ::usleep(50000); + ::usleep(200000); sched_yield(); wait(WNOHANG); } @@ -638,7 +638,7 @@ SystemExec::terminate () if (pid) { ::kill(pid, SIGTERM); - usleep(50000); + ::usleep(250000); sched_yield(); wait(WNOHANG); } |