diff ASSEMBLY_EXCEPTION @ 22839:e5879d8381dd

Bugfix: when scheduler is not allowed to delete dead nodes, it must ignore them
author Christian Wimmer <christian.wimmer@oracle.com>
date Thu, 15 Oct 2015 11:29:54 -0700
parents c18cbe5936b8
children
line wrap: on
line diff