174175176177178179180181
void expect(char nextChar) throws IOException, GDBServerException { int t = read(); if (t!=nextChar) { throw new BadPacketException(); } }
7475767778798081828384
{ // error dumpHex(packet.toString()); this.server.write("-".getBytes()); throw new BadPacketException(); } else { // ack this.server.write("+".getBytes()); }