Merge "Use Runtime.halt instead of System.exit in delayed shutdown"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Thu, 19 Jul 2018 11:18:29 +0000 (11:18 +0000)
committerGerrit Code Review <gerrit2@simantics>
Thu, 19 Jul 2018 11:18:29 +0000 (11:18 +0000)
commit64be7691aa27c056cf27d4da811ed57027235c63
treea51f670ed03b432baea2b6a7f2d2533a0ae45c52
parentd2a7847eec81903a5a48a8e764be5c87851cdef6
parent4dda3eb992472f5ea3903725f7497a0728c66140
Merge "Use Runtime.halt instead of System.exit in delayed shutdown"