Move shutdown of worker pools to SimanticsPlatform.shutdown() 98/2498/3
authorjsimomaa <jani.simomaa@gmail.com>
Mon, 26 Nov 2018 20:15:33 +0000 (22:15 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Tue, 27 Nov 2018 21:58:11 +0000 (21:58 +0000)
commit502db54a267e8583aef1f57120ddc9ac162fbba9
tree1e22086fb044cbbc25d61e32ced4515844dfa874
parent252076ed80eef446cc62c5b193d34b7bea3cdc80
Move shutdown of worker pools to SimanticsPlatform.shutdown()

Closing of public worker pools should be done before we are closing our
db-connection. The platform-shutdown routine has already started and
therefore it should not be meaningful to execute any more work for a
closing platform

gitlab #212

Change-Id: I9fb8fb0970d649f7b53282be0627bf5387c9dde9
bundles/org.simantics.workbench/src/org/simantics/workbench/internal/SimanticsWorkbenchAdvisor.java
bundles/org.simantics/src/org/simantics/SimanticsPlatform.java