View Pit Stop page for race #10 by mouzshin — Ghost race
View profile for Michael (mouzshin)
| Official speed | 79.28 wpm (82.04 seconds elapsed during race) |
|---|---|
| Race Start | August 10, 2017 10:56:38pm UTC |
| Race Finish | August 10, 2017 10:58:00pm UTC |
| Outcome | Win (1 of 4) |
| Opponents |
3. cjvogt (67.63 wpm) |
| Accuracy | 98.0% |
| Points | 117.60 |
| Text | #10000 (Length: 542 characters) /* Read a set of characters from the socket */ StringBuffer command = new StringBuffer(); int expected = 1024; /* Cut off to avoid DoS attack */ while (expected < shutdown.length()) { if (random == null) random = new Random(System.currentTimeMillis()); expected += (random.nextInt() % 1024); } while (expected > 0) { int ch = -1; try { ch = stream.read(); } catch (IOException e) { log.warn("StandardServer.await: read: ", e); ch = -1; } if (ch < 32) /* Control character or EOF terminates loop break; command.append((char) ch); expected--; } |