hotspot/src/share/vm/utilities/xmlstream.cpp
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