fix #1060, actually fix #789: stop all non-daemon threads and timers#1084

Merged

pieter-bos merged 1 commit intodevfrom issue-1060

Oct 20, 2023

+42-28

Commits on Oct 20, 2023

fix #1060 , actually fix #789 : stop all non-daemon threads and timers
pieter-bos
committed