()
| 47 | } |
| 48 | |
| 49 | public void readServerInit() |
| 50 | { |
| 51 | int width = is.readU16(); |
| 52 | int height = is.readU16(); |
| 53 | PixelFormat pf = new PixelFormat(); |
| 54 | pf.read(is); |
| 55 | String name = is.readString(); |
| 56 | handler.serverInit(width, height, pf, name); |
| 57 | } |
| 58 | |
| 59 | public void readMsg() |
| 60 | { |
no test coverage detected