From 864f2cb16fb0ffc6b6ffaa74ddbaee3bbf85142d Mon Sep 17 00:00:00 2001 From: Adam Dickmeiss Date: Tue, 6 Feb 1996 17:11:18 +0000 Subject: [PATCH] Minor changes. --- index/main.c | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/index/main.c b/index/main.c index 725aead..704dc92 100644 --- a/index/main.c +++ b/index/main.c @@ -4,7 +4,10 @@ * Sebastian Hammer, Adam Dickmeiss * * $Log: main.c,v $ - * Revision 1.32 1996-02-01 20:50:04 adam + * Revision 1.33 1996-02-06 17:11:18 adam + * Minor changes. + * + * Revision 1.32 1996/02/01 20:50:04 adam * Bug fix: zebraIndexUnlock was always called even though zebraIndexLock * was never called - happens when no commands are specified. * @@ -133,6 +136,12 @@ char *prog; size_t mem_max = 4*1024*1024; extern char *data1_tabpath; +static void abort_func (int level, const char *msg, void *info) +{ + if (level & LOG_FATAL) + abort (); +} + int main (int argc, char **argv) { int ret; @@ -171,6 +180,7 @@ int main (int argc, char **argv) " -v Set logging to .\n"); exit (1); } + log_event_end (abort_func, NULL); while ((ret = options ("t:c:g:d:m:v:n", argv, argc, &arg)) != -2) { if (ret == 0) -- 1.7.10.4