Details
-
Sub-task
-
Status: Resolved
-
Major
-
Resolution: Fixed
-
None
-
None
Description
DriverRestartManager must be AutoCloseable and shut down the restart timer when closed. The restart manager has to be closed on runtime shutdown, i.e. in DriverRuntimeStopHandler