109110111112113114115116117118119
} String addr = a.toString(); if (addr.equalsIgnoreCase("/ser")) { Player p = new Player("slm", "AUser", 1); p.save(); body.println("Serializing player"); stdOut.println("Stopping the server..."); } if (addr.equalsIgnoreCase("/stop")) {