equal
deleted
inserted
replaced
130 } |
130 } |
131 if (duration != null) { |
131 if (duration != null) { |
132 options.add("duration=" + Utils.formatTimespan(duration, "")); |
132 options.add("duration=" + Utils.formatTimespan(duration, "")); |
133 } |
133 } |
134 if (destination != null) { |
134 if (destination != null) { |
135 options.add("filename=" + destination.getText()); |
135 options.add("filename=" + destination.getRealPathText()); |
136 } |
136 } |
137 String optionText = options.toString(); |
137 String optionText = options.toString(); |
138 if (optionText.length() != 0) { |
138 if (optionText.length() != 0) { |
139 optionText = "{" + optionText + "}"; |
139 optionText = "{" + optionText + "}"; |
140 } |
140 } |
163 WriteableUserPath dest = getDestination(); |
163 WriteableUserPath dest = getDestination(); |
164 |
164 |
165 if (dest != null) { |
165 if (dest != null) { |
166 try { |
166 try { |
167 dumpStopped(dest); |
167 dumpStopped(dest); |
168 Logger.log(LogTag.JFR, LogLevel.INFO, "Wrote recording \"" + getName() + "\" (" + getId() + ") to " + dest.getText()); |
168 Logger.log(LogTag.JFR, LogLevel.INFO, "Wrote recording \"" + getName() + "\" (" + getId() + ") to " + dest.getRealPathText()); |
169 notifyIfStateChanged(newState, oldState); |
169 notifyIfStateChanged(newState, oldState); |
170 close(); // remove if copied out |
170 close(); // remove if copied out |
171 } catch(IOException e) { |
171 } catch(IOException e) { |
172 // throw e; // BUG8925030 |
172 // throw e; // BUG8925030 |
173 } |
173 } |