changeset 1136 | a0982873d655 |
parent 1133 | 860d1c3d08fc |
child 1137 | a73c0f54be42 |
--- a/tool/cmd_domain.cpp Wed Jul 23 07:29:00 2008 +0000 +++ b/tool/cmd_domain.cpp Wed Jul 23 08:06:10 2008 +0000 @@ -119,9 +119,9 @@ dataOffset = fmmu.logical_address - domain.logical_base_address; if (dataOffset + fmmu.data_size > domain.data_size) { stringstream err; + delete [] processData; err << "Fmmu information corrupted!"; - delete [] processData; - throw MasterDeviceException(err.str()); + throw CommandException(err); } cout << " " << hex << setfill('0');