freenode/#mezzano - IRC Chatlog
Search
12:15:01
leo_song
The code is here: https://github.com/froggey/Mezzano/compare/8e7df36fcaae73b272835258099c11980b588e3e...leosongwei:leo
12:17:30
leo_song
(Though the driver thread is terminated, the driver cleaning up is not implemented yet.)
17:36:49
froggey
leo_song: right, those threads are special. they get created by the cold-generator and reinitialized every boot. other threads (including driver workers) maintain their state over snapshot
17:37:54
froggey
to terminate thread nicely you can call terminate-thread on it. that'll cause it to run unwind-protect handlers & exit neatly
17:41:14
froggey
I don't really like terminate-thread, it's difficult to make threads behave properly with it 100% of the time, but it's better that just dropping the thread on the floor
17:41:46
froggey
ideally the system would send driver workers some kind of notification that the device has gone away, but I haven't really given much thought to that