equal
deleted
inserted
replaced
218 String recordingspecifier = "name=" + recording.getId(); |
218 String recordingspecifier = "name=" + recording.getId(); |
219 // if user supplied a name, use it. |
219 // if user supplied a name, use it. |
220 if (name != null) { |
220 if (name != null) { |
221 recordingspecifier = "name=" + quoteIfNeeded(name); |
221 recordingspecifier = "name=" + quoteIfNeeded(name); |
222 } |
222 } |
223 print("Use JFR." + cmd + " " + recordingspecifier + " " + fileOption + "to copy recording data to file."); |
223 print("Use jcmd " + getPid() + " JFR." + cmd + " " + recordingspecifier + " " + fileOption + "to copy recording data to file."); |
224 println(); |
224 println(); |
225 } |
225 } |
226 return getResult(); |
226 return getResult(); |
227 } |
227 } |
|
228 |
228 |
229 |
229 // Instruments JDK-events on class load to reduce startup time |
230 // Instruments JDK-events on class load to reduce startup time |
230 private void initializeWithForcedInstrumentation(Map<String, String> settings) { |
231 private void initializeWithForcedInstrumentation(Map<String, String> settings) { |
231 if (!hasJDKEvents(settings)) { |
232 if (!hasJDKEvents(settings)) { |
232 return; |
233 return; |