Paradox

What I ended up doing was to collect the record batches from the dataframe and because I have knowledge that the record batches are pre sorted by the id column...

@marchof while (reader.read()) {} terminate only if the agent exits if you send a dump command it does not exit, and should not because the agent is still connected to...

@marchof I have a thread the does while (reader.read()) {} so I can get the execution data if the agent exits. If you run reader.read(); after the dump command is...

@marchof You are correct that does exactly what I wanted! I thought the while (reader.read()) is the busy loop but the read method also has a busy loop. I really...

@Godin https://github.com/jacoco/jacoco/blob/8f24208e22d87e34345c49f19b23d813f45a1815/org.jacoco.core/src/org/jacoco/core/data/ExecutionDataReader.java#L80 ``` Reads all data and reports it to the corresponding visitors. The stream * is read until its end or a command confirmation has been sent. * *...