Integrated: 7903470 jtreg AgentServer log() does not flush

Thu May 11 08:29:15 UTC 2023

On Wed, 10 May 2023 13:37:50 GMT, Ludvig Janiuk <lujaniuk at openjdk.org> wrote:

> Please review this change to start flushing logs on every message in AgentServer.

This pull request has now been integrated.

Changeset: 44172fcc
Author:    Ludvig Janiuk <lujaniuk at openjdk.org>
Committer: Christian Stein <cstein at openjdk.org>
URL:       https://git.openjdk.org/jtreg/commit/44172fcc26b1ba7e5d4c2bc1ee716538e1ae651b
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

7903470: jtreg AgentServer log() does not flush

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jtreg/pull/156