[wget-notify] [bug #23544] Option to supply alternative default names to index.html

[Joao Fernando Ferreira]

Follow-up Comment #2, bug #23544 (project wget):

(Assuming proper changes on main.c, init.c and options.h)


diff -r d27e06e0e404 src/url.c
--- a/src/url.c Tue Jul 22 13:33:42 2008 -0700
+++ b/src/url.c Tue Jul 29 22:13:44 2008 +0100
@@ -1430,10 +1430,16 @@ url_file_name (const struct url *u)
 
   const char *u_file, *u_query;
   char *fname, *unique;
+  char *index_filename = "index.html"; /* The default index file is
index.html */
 
   fnres.base = NULL;
   fnres.size = 0;
   fnres.tail = 0;
+
+  /* If an alternative index file was defined, change index_filename */
+  if (opt.index_file)
+    index_filename = opt.index_file;
+     
 
   /* Start with the directory prefix, if specified. */
   if (opt.dir_prefix)
@@ -1476,7 +1482,7 @@ url_file_name (const struct url *u)
   /* Add the file name. */
   if (fnres.tail)
     append_char ('/', &fnres);
-  u_file = *u->file ? u->file : "index.html";
+  u_file = *u->file ? u->file : index_filename;
   append_uri_pathel (u_file, u_file + strlen (u_file), false, &fnres);
 
   /* Append "?query" to the file name. */

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?23544>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/