github-repos/wget
1
0
Fork 0
mirror of https://github.com/mirror/wget.git synced 2025-01-20 09:10:14 +08:00
Code Issues Packages Projects Releases Wiki Activity

* src/init.c (cleanup): Never call cleanup() twice

Browse Source
This commit is contained in:
Tim Rühsen 2018-04-15 22:05:34 +02:00
parent e0860dd1ff
commit d7e3acb2cc
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/init.c
View File

@ -1890,8 +1890,12 @@ extern struct ptimer *timer;
void void
cleanup (void) cleanup (void)
{ {
static int cleaned_up;
/* Free external resources, close files, etc. */ /* Free external resources, close files, etc. */
if (cleaned_up++)
return; /* cleanup() must not be called twice */
/* Close WARC file. */ /* Close WARC file. */
if (opt.warc_filename != 0) if (opt.warc_filename != 0)
warc_close (); warc_close ();