diff options
-rwxr-xr-x | bin/dwpage.php | 4 |
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"); } |