Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-08 09:38:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Remove.

Browse source
This commit is contained in:
Aaron Eppert 2015-10-26 18:06:41 -04:00
parent 295dbc3055
commit 1b09734b31
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/Reporter.cc
View file

@ -88,11 +88,7 @@ void Reporter::FatalError(const char* fmt, ...)
va_end(ap); va_end(ap);
set_processing_status("TERMINATED", "fatal_error"); set_processing_status("TERMINATED", "fatal_error");
#ifdef DEBUG
abort();
#else
exit(1); exit(1);
#endif // DEBUG
} }
void Reporter::FatalErrorWithCore(const char* fmt, ...) void Reporter::FatalErrorWithCore(const char* fmt, ...)