Commit 463cc6c2 authored by omega8cc's avatar omega8cc

Use is_dir() instead of file_exists() when checking directory existence.

parent 13cac820
......@@ -29,7 +29,7 @@ We are making the following assumptions:
if (!file_exists($platform)) {
$dir = realpath(dirname($platform));
if (file_exists($dir)) {
if (is_dir($dir)) {
$platform = $dir . '/' . basename($platform);
drush_log("changed relative platform path to absolute");
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment