script-arg-file.ini

2024-10-23 15:46:59 +02:00
parent 8e5f010da0
commit 4e14da1860
5 changed files with 12 additions and 11 deletions
--- a/filter_inputs.php
+++ b/filter_inputs.php
@ -116,8 +116,6 @@ if ($preset && isset($presets[$preset])) {
  ], false) ?: $presets["default"];
 }

-$options["--datadir"] = $DATADIR;
-
 /*echo "<!--";
 var_dump($options);
 echo "-->\n";*/