On Sat, 27 Jun 2020 19:37:01 GMT, Kevin Rushforth <k...@openjdk.org> wrote:
> OK, that seems fine then. I'll take a closer look and then finish my review. Actually, I think you may be right, though. Sorry for replying before looking into it. I now think the `ScheduledThreadPoolExecutor` should be shut down, but let me look into it a bit more this afternoon before your final review. Thanks! The new `ScheduledThreadPoolExecutor` is ~complicated~ flexible! 😄 ------------- PR: https://git.openjdk.java.net/jfx/pull/256
