]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 252076e) | patch
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
tree1e22086fb044cbbc25d61e32ced4515844dfa874tree | snapshot
parent252076ed80eef446cc62c5b193d34b7bea3cdc80commit | diff
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 diff | blob | history
bundles/org.simantics/src/org/simantics/SimanticsPlatform.java diff | blob | history
Simantics Platform SDK.