From d7e3acb2cc4508e48ab423a9ecc5c186005d959a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20R=C3=BChsen?= <tim.ruehsen@gmx.de>
Date: Sun, 15 Apr 2018 22:05:34 +0200
Subject: [PATCH] * src/init.c (cleanup): Never call cleanup() twice

---
 src/init.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/init.c b/src/init.c
index 8e5a1fb0..2d652c3f 100644
--- a/src/init.c
+++ b/src/init.c
@@ -1890,8 +1890,12 @@ extern struct ptimer *timer;
 void
 cleanup (void)
 {
+  static int cleaned_up;
   /* Free external resources, close files, etc. */
 
+  if (cleaned_up++)
+    return; /* cleanup() must not be called twice */
+
   /* Close WARC file. */
   if (opt.warc_filename != 0)
     warc_close ();