]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 215f67b) | patch
Move shutdown of worker pools to SimanticsPlatform.shutdown() 37/2537/2
authorjsimomaa <jani.simomaa@gmail.com>
Mon, 26 Nov 2018 20:15:33 +0000 (22:15 +0200)
committerJani Simomaa <jani.simomaa@semantum.fi>
Mon, 10 Dec 2018 08:34:59 +0000 (08:34 +0000)
commitab95cc6c2e77d8433f50b6438474b543bb029cf7
tree78bcde3b19634ec59624e99e011faa4ef46b07betree | snapshot
parent215f67beb80ac36d12308f3f49206b1e31b2fbddcommit | 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
(cherry picked from commit 502db54a267e8583aef1f57120ddc9ac162fbba9)
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.