src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Tue Jun 11 16:48:20 2024 +0200
+++ b/src/Pure/General/http.scala	Tue Jun 11 21:32:26 2024 +0200
@@ -227,7 +227,7 @@
         val encoded_digest = Base64.encode(HexFormat.of().parseHex(SHA1.digest(output).toString))
         http.getResponseHeaders.set("Content-Digest", "sha=:" + encoded_digest + ":")
       }
-      http.sendResponseHeaders(code, if (is_head) -1 else output.length.toLong)
+      http.sendResponseHeaders(code, if (is_head) -1 else output.size)
       if (!is_head) using(http.getResponseBody)(output.write_stream)
     }
   }