Fix possible "Undefined index: output_format" on export

Signed-off-by: William Desportes <williamdes@wdes.fr>
This commit is contained in:
William Desportes 2021-06-27 12:15:02 +02:00
parent b04fe5cb8a
commit 590a450a47
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889

View File

@ -260,7 +260,7 @@ final class ExportController extends AbstractController
$quick_export = false;
}
if ($_POST['output_format'] === 'astext') {
if (isset($_POST['output_format']) && $_POST['output_format'] === 'astext') {
$asfile = false;
} else {
$asfile = true;