equal
deleted
inserted
replaced
105 // read completion status |
105 // read completion status |
106 int status = readInt(is); |
106 int status = readInt(is); |
107 if (status != 0) { |
107 if (status != 0) { |
108 // read from the stream and use that as the error message |
108 // read from the stream and use that as the error message |
109 String message = readErrorMessage(is); |
109 String message = readErrorMessage(is); |
|
110 is.close(); |
110 // special case the load command so that the right exception is thrown |
111 // special case the load command so that the right exception is thrown |
111 if (cmd.equals("load")) { |
112 if (cmd.equals("load")) { |
112 throw new AgentLoadException("Failed to load agent library"); |
113 throw new AgentLoadException("Failed to load agent library"); |
113 } else { |
114 } else { |
114 if (message == null) { |
115 if (message == null) { |