From b110e7e0c519cc9575f8d224f0f75aca0d73946f Mon Sep 17 00:00:00 2001 From: Franklin Wei Date: Fri, 12 Feb 2016 21:54:42 -0500 Subject: support multiple objects sharing the same name --- src/server.c | 1 + 1 file changed, 1 insertion(+) (limited to 'src/server.c') diff --git a/src/server.c b/src/server.c index 0b1569d..43afd69 100644 --- a/src/server.c +++ b/src/server.c @@ -49,6 +49,7 @@ void __attribute__((noreturn)) error(const char *fmt, ...) vsnprintf(buf, sizeof(buf), fmt, ap); va_end(ap); perror(buf); + abort(); exit(EXIT_FAILURE); } -- cgit v1.1