Method writeToFile

src/main/java/fieldbox/io/IO.java:710–725

(File filename, String text)

	private void writeToFile(File filename, String text) throws IOException {
		filename = sanitizeName(filename);
		final File finalFilename = filename;
		Log.log("io.general", () -> " will write :" + text + " to " + finalFilename);

		if (!filename.getParentFile().exists()) filename.getParentFile().mkdirs();

		filesTouched.add(filename);

		BufferedWriter w = new BufferedWriter(new FileWriter(filename));
		w.append(text);
		w.close();
	}

	static private File sanitizeName(File filename) {
		String f = filename.getName();
		f = f.replaceAll(">", "_");
		f = f.replaceAll("\\?", "_query_");
		f = f.replaceAll("\\*", "_star_");
		f = f.replaceAll("\\:", "_colon_");
		f = f.replaceAll("\\\\", "_backslash_");