mirror of
https://github.com/KLayout/klayout.git
synced 2026-09-02 19:28:37 +02:00
This patch moves a lock inside the thread finishing code such that a race condition of the finish sequence and a random restart of the threads becomes impossible. This problem has been observed while randomly zooming with multiple drawing threads present. It's hard to reproduce.