Closed ConnorWhalen closed 7 years ago
addresses #279
Set the dead flag to true if rov hits an exception. Also set a timeout in the rov shutdown method in case of something like a keyboard interrupt.
The timeout in particular will prevent the shutdown from ever hanging.
addresses #279
Set the dead flag to true if rov hits an exception. Also set a timeout in the rov shutdown method in case of something like a keyboard interrupt.
The timeout in particular will prevent the shutdown from ever hanging.