mirror of
https://git.dev.opencascade.org/repos/occt.git
synced 2025-04-04 18:06:22 +03:00
Do not start new thread if the thread has been already started. Restart the thread after the previous has finished.
Do not start new thread if the thread has been already started. Restart the thread after the previous has finished.