()
| 4747 | } |
| 4748 | |
| 4749 | String closeFile() { |
| 4750 | String f = getStringArg(); |
| 4751 | if (!f.equals("~0~")) |
| 4752 | interp.error("Invalid file variable"); |
| 4753 | if (writer!=null) { |
| 4754 | writer.close(); |
| 4755 | writer = null; |
| 4756 | } |
| 4757 | return null; |
| 4758 | } |
| 4759 | |
| 4760 | public static String copyFile(File f1, File f2) { |
| 4761 | return Tools.copyFile(f1.getPath(), f2.getPath()); |
no test coverage detected