Command to reset routing tables to the previous state

[drsound]

Once fault_tolerant_router terminates, routing tables are left in their current state. This is a good thing, otherwise you could lose access to the system (suppose you are accessing via SSH). If you want to reset the routing tables to the status they were in before running fault_tolerant_router, you have to do it by hand. I would like to add a new command to avoid this manual task.