From 4f5389bfa8589d16b8c4a93c8ff685c963143932 Mon Sep 17 00:00:00 2001
From: Dawid Weiss <dawid.weiss@carrotsearch.com>
Date: Fri, 12 Mar 2021 11:39:40 +0100
Subject: [PATCH] Flush output on javadoc emitting a failure.

---
 gradle/documentation/render-javadoc.gradle | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gradle/documentation/render-javadoc.gradle b/gradle/documentation/render-javadoc.gradle
index 4513cc82d4f..3c0938f519b 100644
--- a/gradle/documentation/render-javadoc.gradle
+++ b/gradle/documentation/render-javadoc.gradle
@@ -471,6 +471,7 @@ class RenderJavadocTask extends DefaultTask {
       // Pipe the output to console. Intentionally skips any encoding conversion 
       // and pumps raw bytes.
       System.out.write(outputFile.bytes)
+      System.out.flush()
 
       def cause
       try {