<div dir="ltr"><div>An update: after rebooting a few times, nothing worked. So I slept on it.</div><div>Today I rebooted and found that things worked. Probably the DHCP lease</div><div>time expired, and things reset themselves in the network.</div><div><br></div><div>So I am going to change the lease time for the Pi to 10 minutes, such that</div><div>if an issue happens, it would not be more than that much down time.</div><div><br></div><div><br></div></div>