core: export: mark pidFilter as optional

This commit is contained in:
undefined committed 2025-01-05 03:25:04 +08:00
1 parent 0771071ec2
commit 214fa2aa9d
2 files changed
+7 -4

No files matched your search

+2 -2
View File
@@ -730,8 +730,8 @@ export class ProblemFilesHandler extends ProblemDetailHandler {
files.push({
type,
name: filename,
size: statSync(this.request.files.file.filepath).size,
data: () => this.request.files.file.filepath,
size: file.size,
data: () => file.filepath,
});
}
if (!this.user.hasPriv(PRIV.PRIV_EDIT_SYSTEM)) {