pid1: various minor watchdog modernizations

Just some clean-ups.
2020-10-30 13:02:06 +01:00
parent 819a555bc5
commit bfeb927a55
2 changed files with 29 additions and 35 deletions
@@ -2938,7 +2938,7 @@ int manager_loop(Manager *m) {

                watchdog_usec = manager_get_watchdog(m, WATCHDOG_RUNTIME);
                if (timestamp_is_set(watchdog_usec))
-                        watchdog_ping();
+                        (void) watchdog_ping();

                if (!ratelimit_below(&rl)) {
                        /* Yay, something is going seriously wrong, pause a little */