mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-04 08:30:54 +00:00
Commit 'wifi_drv: re-arm scan timer when enabled again' allowed for re-arming the scan timer but still uses the old timer value the first time around. If the timer was disabled, by setting the interval to 0, it was not enabled again. We now check if the interval has changed beforehand and potentially arm the scan timer afterwards. Fixes #5178.