]> gerrit.simantics Code Review - simantics/platform.git/commit
Code Review / simantics / platform.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: a96f7d1) | patch
Force platform shutdown after some delay when workbench is closed
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Mon, 2 Jul 2018 08:24:40 +0000 (11:24 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Tue, 3 Jul 2018 09:31:47 +0000 (12:31 +0300)
commit66b0635a62a149c791d5f80b43144328ab7a4639
treed9ed73fdb287f9f514d61c95dbe4962f6076d979tree | snapshot
parenta96f7d1298097554686ca500f3568b85f1440a9bcommit | diff
Force platform shutdown after some delay when workbench is closed

gitlab #37

Change-Id: I6ab788e55824dbc3b2dd656cbb6ead407e35938a
bundles/org.simantics.workbench/src/org/simantics/workbench/internal/SimanticsWorkbenchApplication.java diff | blob | history
Simantics Platform SDK.