Hi all, a small question.` WatcherThreadCrashProtection is a small stack object wrapping setjmp/longjmp. But I cannot find any place where WatcherThreadCrashProtection is actually used. Am I overlooking something or is this dead code? Thank you, Thomas