equal
deleted
inserted
replaced
250 if (event != null) { |
250 if (event != null) { |
251 input.position(pos + size); |
251 input.position(pos + size); |
252 return event; |
252 return event; |
253 } |
253 } |
254 } |
254 } |
255 if (typeId == 1 && flushOperation != null) { // checkpoint event |
255 if (typeId == 1) { // checkpoint event |
256 parseCheckpoint(); |
256 if (flushOperation != null) { |
|
257 parseCheckpoint(); |
|
258 } |
|
259 } else { |
|
260 Logger.log(LogTag.JFR_SYSTEM_PARSER, LogLevel.INFO, "Unknwon event type " + typeId); |
257 } |
261 } |
258 } |
262 } |
259 input.position(pos + size); |
263 input.position(pos + size); |
260 } |
264 } |
261 return null; |
265 return null; |