diff options
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)) { |