What is the correct procedure after host drops connection?

<Whonix/networking noob> Which steps need to be taken to re-connect everything after host drops connection? Once host connection is re-established and both 'Gateway & 'Workstation are on…

  • Do I need to run ‘timesync’ on both 'Gateway & 'Workstation again? Do ‘whonixcheck’ again?

  • 'Gateway has icons for ‘Tor Restart’, ‘Tor Reload’, Reload Firewall. When do I use those?

Thank You.

You don’t need to do anything.

  • Tor reload: after making changes to Tor config
  • Tor restart after making changes to Tor config that don’t work with reload (ports below 1024)
  • Firewall reload: after making firewall changes