1Known issues: 2------------- 3- MacOS does not implement POSIX sigtimedwait(). We used a simpler workaround. See (Shell.cpp, ln. 38-46). 4 5