Skip to content

replaced Thread.stop() call with Thread.interrupt() - RobotThreadManager#71

Merged
flemming-n-larsen merged 1 commit into
robo-code:mainfrom
doctorjei:main
Dec 9, 2025
Merged

replaced Thread.stop() call with Thread.interrupt() - RobotThreadManager#71
flemming-n-larsen merged 1 commit into
robo-code:mainfrom
doctorjei:main

Commits