diff LICENSE.EPL @ 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 0fbee3eb71f0
children
line wrap: on
line diff