equal
deleted
inserted
replaced
484 void Exceptions::debug_check_abort(const char *value_string, const char* message) { |
484 void Exceptions::debug_check_abort(const char *value_string, const char* message) { |
485 if (AbortVMOnException != NULL && value_string != NULL && |
485 if (AbortVMOnException != NULL && value_string != NULL && |
486 strstr(value_string, AbortVMOnException)) { |
486 strstr(value_string, AbortVMOnException)) { |
487 if (AbortVMOnExceptionMessage == NULL || message == NULL || |
487 if (AbortVMOnExceptionMessage == NULL || message == NULL || |
488 strcmp(message, AbortVMOnExceptionMessage) == 0) { |
488 strcmp(message, AbortVMOnExceptionMessage) == 0) { |
489 fatal(err_msg("Saw %s, aborting", value_string)); |
489 fatal("Saw %s, aborting", value_string); |
490 } |
490 } |
491 } |
491 } |
492 } |
492 } |
493 |
493 |
494 void Exceptions::debug_check_abort(Handle exception, const char* message) { |
494 void Exceptions::debug_check_abort(Handle exception, const char* message) { |