diff options
| author | Xavier Roche <xroche@users.noreply.github.com> | 2013-09-03 17:43:22 +0000 |
|---|---|---|
| committer | Xavier Roche <xroche@users.noreply.github.com> | 2013-09-03 17:43:22 +0000 |
| commit | fd69106947dbb0a5139b032c6c8f7978092061ca (patch) | |
| tree | 0ae2243b91fa88b5acc13d5082b4f12763e1b529 /src/htsname.c | |
| parent | 5bd7e12eae850318e4c853177c2e97500985a1ac (diff) | |
Added option '-%t', preserving the original file type (which may produce non-browseable file locally)
Diffstat (limited to 'src/htsname.c')
| -rw-r--r-- | src/htsname.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/htsname.c b/src/htsname.c index 7a9ae25..c652c1c 100644 --- a/src/htsname.c +++ b/src/htsname.c @@ -764,7 +764,7 @@ int url_savename(char *adr_complete, char *fil_complete, char *save, } // Changer extension? // par exemple, php3 sera sauvé en html, cgi en html ou gif, xbm etc.. selon les cas - if (ext_chg) { // changer ext + if (ext_chg && !opt->no_type_change) { // changer ext char *a = fil + strlen(fil) - 1; if ((opt->debug > 1) && (opt->log != NULL)) { |