Fix (untested) of device sync loss when IP changes