equal
deleted
inserted
replaced
376 #ifndef PRODUCT |
376 #ifndef PRODUCT |
377 // caller frees value_string if necessary |
377 // caller frees value_string if necessary |
378 void Exceptions::debug_check_abort(const char *value_string) { |
378 void Exceptions::debug_check_abort(const char *value_string) { |
379 if (AbortVMOnException != NULL && value_string != NULL && |
379 if (AbortVMOnException != NULL && value_string != NULL && |
380 strstr(value_string, AbortVMOnException)) { |
380 strstr(value_string, AbortVMOnException)) { |
381 fatal1("Saw %s, aborting", value_string); |
381 fatal(err_msg("Saw %s, aborting", value_string)); |
382 } |
382 } |
383 } |
383 } |
384 |
384 |
385 void Exceptions::debug_check_abort(Handle exception) { |
385 void Exceptions::debug_check_abort(Handle exception) { |
386 if (AbortVMOnException != NULL) { |
386 if (AbortVMOnException != NULL) { |