+
+ gopherLines.add(gopher.getIndexFooter(support));
+ htmlLines.add(html.getIndexFooter(support));
+ write(gopherLines, varDir, "gophermap", "", page);
+ write(htmlLines, varDir, "index", ".html", page);
+ gopherLines = new ArrayList<String>();
+ htmlLines = new ArrayList<String>();
+ page++;
+ }
+ }
+ }
+
+ /**
+ * Write an index/gophermap file with the given link content for the
+ * selected supported web site.
+ *
+ * @param lines
+ * the link content (the stories and a short description)
+ * @param varDir
+ * the base directory to write into
+ * @param basename
+ * the base file name
+ * @param ext
+ * the file extension (for instance, ".html")
+ * @param page
+ * the page number (0 = main index)
+ *
+ * @throws IOException
+ * in case of I/O errors
+ */
+ private void write(List<String> lines, File varDir, String basename,
+ String ext, int page) throws IOException {
+ File file = new File(varDir, basename + (page > 0 ? "_" + page : "")
+ + ext);
+
+ FileWriter writer = new FileWriter(file);
+ try {
+ for (String line : lines) {
+ writer.append(line).append("\r\n");