changeset 11727 | c5dfa2639359 |
parent 8921 | 14bfe81f2a9d |
child 13195 | be27e1b6a4b9 |
--- a/hotspot/src/share/vm/utilities/xmlstream.cpp Fri Jan 13 06:18:47 2012 -0800 +++ b/hotspot/src/share/vm/utilities/xmlstream.cpp Tue Jan 24 18:00:54 2012 -0500 @@ -192,8 +192,11 @@ _element_close_stack_ptr = cur_tag + strlen(cur_tag) + 1; _element_depth -= 1; } - if (bad_tag && !VMThread::should_terminate() && !is_error_reported()) + if (bad_tag && !VMThread::should_terminate() && !VM_Exit::vm_exited() && + !is_error_reported()) + { assert(false, "bad tag in log"); + } } #endif