diff options
| author | Robin Gareus <robin@gareus.org> | 2015-04-30 21:15:35 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-04-30 21:15:35 +0200 |
| commit | 2b294f0b43167104371705fc2092b54448b92b5f (patch) | |
| tree | 1a6a61c7ca567c7f3431f888d9648deeb641ee3c | |
| parent | 6366d213990bdfaef40e75bf8115a41132ed8281 (diff) | |
add a sanity check
| -rw-r--r-- | libs/pbd/system_exec.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/pbd/system_exec.cc b/libs/pbd/system_exec.cc index 60e73badfc..721db98a7e 100644 --- a/libs/pbd/system_exec.cc +++ b/libs/pbd/system_exec.cc @@ -671,6 +671,7 @@ SystemExec::terminate () wait(); if (thread_active) pthread_join(thread_id_tt, NULL); thread_active = false; + assert(pid == 0); ::pthread_mutex_unlock(&write_lock); } |