little fixes for debugging and shutdown #67

Merged
jeffreypicard merged 1 commit from small_shutdown_fixes into master 2022-10-05 05:24:42 +02:00

1 commit

Author SHA1 Message Date
Jeffrey Picard
bc682c6f34 little fixes for debugging and shutdown 2022-10-05 03:09:00 +00:00