131132133134135136137138139140141
*/ server.alive=false; reply("OK"); } else { throw new UnknownPacketException(); } } catch (UnknownPacketException e) { this.server.print(GDBServer.UNKNOWN, "Unknown packet: " + origCmd); // empty reply to unknown packets