watchdog: no need to ping the device twice in watchdog_ping() if the device has just...
authorFranck Bui <fbui@suse.com>
Mon, 6 Sep 2021 10:42:50 +0000 (12:42 +0200)
committerFranck Bui <fbui@suse.com>
Wed, 15 Sep 2021 09:32:21 +0000 (11:32 +0200)
commite94f9e720cda332b1c9f209cb579ba5bf7d82c61
treed938e1a764cf6703b7f4c58482af95b64c3aed98
parent564096795eb385c8216cb67c0fe894edccc39dde
watchdog: no need to ping the device twice in watchdog_ping() if the device has just been opened
src/shared/watchdog.c