tree c15a10d7b3ca7872ed1f1b496b342d5450ea2d99
parent 5f4591083b3ee74eacc70770193913e6972812b2
author Sergiy Matusevych <motus@apache.org> 1477607902 -0700
committer Mariia Mykhailova <mariia@apache.org> 1477958119 -0700

[REEF-1655] Close the driver restart manager on driver shutdown

  * Make `DriverRuntimeRestartManager` implement `AutoCloseable` to shut down the timer thread;
  * Invoke `.close()` method in `DriverRuntimeStopHandler` on driver shutdown

JIRA:
  [REEF-1655](https://issues.apache.org/jira/browse/REEF-1655)

Pull request:
  This closes #1170