[PPL-devel] Watchdog still not fully working on hurd

Hi all,

It seems that the setitimer function is not yet fully implemented on GNU/Hurd. Apparently ITIMER_PROF is still not implemented. I'd suggest two changes to Watchdog/src/Watchdog.cc:

- add || defined(__gnu_hurd__) in line 51 - add whitespace when throwing std::runtime_error in line 87

Best, Michael