800 

   800 

   801     // first time

   801     // first time

   802     first_error_tid = mytid;

   802     first_error_tid = mytid;

   803     set_error_reported();

   803     set_error_reported();

   804 

   804 

   806       show_message_box(buffer, sizeof(buffer));

   806       show_message_box(buffer, sizeof(buffer));

   807 

   807 

   808       // User has asked JVM to abort. Reset ShowMessageBoxOnError so the

   808       // User has asked JVM to abort. Reset ShowMessageBoxOnError so the

   809       // WatcherThread can kill JVM if the error handler hangs.

   809       // WatcherThread can kill JVM if the error handler hangs.

   810       ShowMessageBoxOnError = false;

   810       ShowMessageBoxOnError = false;