(String format, Object... args)
| 37 | } |
| 38 | |
| 39 | public static void err(String format, Object... args) throws IllegalFormatException { |
| 40 | LocalDateTime now = LocalDateTime.now(); |
| 41 | String ns = dtf.format(now); |
| 42 | String ss = ns + " " + String.format(format, args); |
| 43 | System.err.println(ss); |
| 44 | guiLog.appendErr(ss); |
| 45 | } |
| 46 | |
| 47 | public static void errWithStackTrace(Throwable e) throws IllegalFormatException { |
| 48 | err(e.toString()); |
no test coverage detected