-
Marius Gerbershagen authored
When mp_process_interrupt and thread_cleanup are called at the same time, it is possible that the thread-local environment is deallocated while ecl_interrupt_process tries to use it. This two methods thus need to be protected with a lock.
8c2748da