Andrea Cavalli 7ed2df1f4f Stop anyway if the thread is interrupted		2021-10-05 12:36:47 +02:00
..
main	Stop anyway if the thread is interrupted	2021-10-05 12:36:47 +02:00