[GitHub] flink issue #4900: [FLINK-7666] Close TimeService after closing operators.

[aljoscha]

Github user aljoscha commented on the issue:

    https://github.com/apache/flink/pull/4900
  
    CC: @StefanRRichter This almost (but not quite) solves the problem of 
disposing the RocksDB backend before all timers are finished, I think.


---