Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
destroying a VM that was not shutdown is OK
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 31 May 2017 15:52:37 +0000 (17:52 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 1 Jun 2017 02:53:47 +0000 (04:53 +0200)
commita17b0ff0037fd6627fff5de9e6a1b6628e3094eb
treea205facf0bfb40712a938d89134c5735910a8879
parentb49b084a5d5a97a105f59244e14f02448f5e25a8
destroying a VM that was not shutdown is OK

Even more because sometimes in Java, the VM is already half destroyed
when the garbage collector wants to finish it.
src/msg/msg_vm.cpp