equal
deleted
inserted
replaced
107 if (file != null) { |
107 if (file != null) { |
108 print(","); |
108 print(","); |
109 try { |
109 try { |
110 print(" "); |
110 print(" "); |
111 long bytes = SecuritySupport.getFileSize(file); |
111 long bytes = SecuritySupport.getFileSize(file); |
112 printBytes(bytes, " "); |
112 printBytes(bytes); |
113 } catch (IOException e) { |
113 } catch (IOException e) { |
114 // Ignore, not essential |
114 // Ignore, not essential |
115 } |
115 } |
116 println(" written to:"); |
116 println(" written to:"); |
117 println(); |
117 println(); |
150 protected final void println(String s, Object... args) { |
150 protected final void println(String s, Object... args) { |
151 print(s, args); |
151 print(s, args); |
152 println(); |
152 println(); |
153 } |
153 } |
154 |
154 |
155 protected final void printBytes(long bytes, String separation) { |
155 protected final void printBytes(long bytes) { |
156 print(Utils.formatBytes(bytes, separation)); |
156 print(Utils.formatBytes(bytes)); |
157 } |
157 } |
158 |
158 |
159 protected final void printTimespan(Duration timespan, String separator) { |
159 protected final void printTimespan(Duration timespan, String separator) { |
160 print(Utils.formatTimespan(timespan, separator)); |
160 print(Utils.formatTimespan(timespan, separator)); |
161 } |
161 } |