out.error("IOException encountered while opening file \"" + filepath +
"\"; make sure the file can be written to");
return;
}
out.addChannel(new FileOutputChannel(f), true);
properties.put("set_logging", "on");
properties.put("current_logging_file", filepath);
out.print("\n");
out.print("\tlogging turned on; outputting to \"" + filepath + "\"");