From 7d16ed616867349d98883697b37ee46046d18f72 Mon Sep 17 00:00:00 2001
From: Uwe Steinmann <steinm@debian.org>
Date: Wed, 14 Jul 2021 16:31:32 +0200
Subject: [PATCH] take given name of document if set

---
 op/op.AddDocument.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/op/op.AddDocument.php b/op/op.AddDocument.php
index 5d3a25841..ff6e6f6ca 100644
--- a/op/op.AddDocument.php
+++ b/op/op.AddDocument.php
@@ -355,7 +355,7 @@ foreach($file_ary as $file) {
 			$userfiletype = $tmpfiletype;
 	}
 
-	if (!$file["tmp_name"] && ($_POST["name"]!=""))
+	if ($_POST["name"]!="")
 		$name = trim($_POST["name"]);
 	else $name = utf8_basename($userfilename);