equal
deleted
inserted
replaced
100 args = args + "=" + options; |
100 args = args + "=" + options; |
101 } |
101 } |
102 try { |
102 try { |
103 loadAgentLibrary("instrument", args); |
103 loadAgentLibrary("instrument", args); |
104 } catch (AgentLoadException x) { |
104 } catch (AgentLoadException x) { |
105 throw new InternalError("instrument library is missing in target VM"); |
105 throw new InternalError("instrument library is missing in target VM", x); |
106 } catch (AgentInitializationException x) { |
106 } catch (AgentInitializationException x) { |
107 /* |
107 /* |
108 * Translate interesting errors into the right exception and |
108 * Translate interesting errors into the right exception and |
109 * message (FIXME: create a better interface to the instrument |
109 * message (FIXME: create a better interface to the instrument |
110 * implementation so this isn't necessary) |
110 * implementation so this isn't necessary) |
210 */ |
210 */ |
211 private InputStream executeCommand(String cmd, Object ... args) throws IOException { |
211 private InputStream executeCommand(String cmd, Object ... args) throws IOException { |
212 try { |
212 try { |
213 return execute(cmd, args); |
213 return execute(cmd, args); |
214 } catch (AgentLoadException x) { |
214 } catch (AgentLoadException x) { |
215 throw new InternalError("Should not get here"); |
215 throw new InternalError("Should not get here", x); |
216 } |
216 } |
217 } |
217 } |
218 |
218 |
219 |
219 |
220 /* |
220 /* |