equal
deleted
inserted
replaced
611 } |
611 } |
612 } |
612 } |
613 } |
613 } |
614 |
614 |
615 /** |
615 /** |
616 * Propagate the the thread state change information |
616 * Propagate the thread state change information |
617 * to registered listeners. |
617 * to registered listeners. |
618 * Must be entered while synchronized on vm.state() |
618 * Must be entered while synchronized on vm.state() |
619 */ |
619 */ |
620 private void processThreadAction(ThreadAction action) { |
620 private void processThreadAction(ThreadAction action) { |
621 synchronized (vm.state()) { |
621 synchronized (vm.state()) { |