]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Force platform shutdown after some delay when workbench is closed 93/1893/2
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Mon, 2 Jul 2018 08:24:40 +0000 (11:24 +0300)
committerHannu Niemistö <hannu.niemisto@semantum.fi>
Mon, 2 Jul 2018 12:13:45 +0000 (15:13 +0300)
gitlab #37

Change-Id: I6ab788e55824dbc3b2dd656cbb6ead407e35938a


No differences found