我正在Java中使用PlayFramework（当前为v2.6.3）。
我正在提供用户必须通过浏览器下载的动态生成的CSV文件。
为简单起见，我将CSV存储在临时文件中，然后按照https://www.playframework.com/documentation/2.6.x/JavaStream#serving-files
的这种方法将其流式传输给用户public Result index() {
return ok(new java.io.File("/tmp/fileToServe.pdf"), "fileToServe.pdf");
}
现在，这个CSV文件可能很大，例如30MB。我必须知道，用户是否下载了整个文件。
背景： 如果文件已完全下载，我想将数据库中的记录标记为“ isDownloaded”。
如果用户在5MB后取消下载或网络出现故障，我不想标记任何内容。
那我该如何检测PlayFramework的完整下载？
谢谢你， 舒伯