PlayFramework：我怎么知道用户完全下载了文件？

Question

我正在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的完整下载？

谢谢你， 舒伯