diff options
| author | Xavier Roche <xroche@users.noreply.github.com> | 2012-05-08 08:19:43 +0000 |
|---|---|---|
| committer | Xavier Roche <xroche@users.noreply.github.com> | 2012-05-08 08:19:43 +0000 |
| commit | e67f9f3d1612c731bb82f3a655e5ae11703bd75f (patch) | |
| tree | e7091be91229a25ea31e88bfcefcababe7990855 /src/htsname.c | |
| parent | 355775b74baa429f913044a24b5229baff244928 (diff) | |
Do not use "delayed" extensions when the mirror is aborting.
Diffstat (limited to 'src/htsname.c')
| -rw-r--r-- | src/htsname.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/htsname.c b/src/htsname.c index 74172e2..7a5a7f7 100644 --- a/src/htsname.c +++ b/src/htsname.c @@ -416,7 +416,8 @@ int url_savename2(char* adr_complete, char* fil_complete, char* save, } } // note: if savename_delayed is enabled, the naming will be temporary (and slightly invalid!) - else if (opt->savename_delayed != 0) { + // note: if we are about to stop (opt->state.stop), back_add() will fail later + else if (opt->savename_delayed != 0 && !opt->state.stop) { if (mime_type != NULL) { ext[0] = '\0'; if (*mime_type) { |