aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rwxr-xr-xbin/dwpage.php4
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/dwpage.php b/bin/dwpage.php
index a343cb0ed..1825f4ef9 100755
--- a/bin/dwpage.php
+++ b/bin/dwpage.php
@@ -217,6 +217,10 @@ class PageCLI extends CLI
$localfile = getcwd() . '/' . PhpString::basename($wiki_fn);
}
+ if (is_dir($localfile)) {
+ $this->fatal("Working file $localfile cannot be a directory");
+ }
+
if (!file_exists(dirname($localfile))) {
$this->fatal("Directory " . dirname($localfile) . " does not exist");
}