Use file_exists instead of is_file

cdujeu · cdujeu · commit a7e00ceb2921 · 2016-11-10T16:17:41.000+01:00
diff --git a/core/src/core/src/pydio/Core/Http/Dav/Collection.php b/core/src/core/src/pydio/Core/Http/Dav/Collection.php
@@ -204,6 +204,6 @@ public function getChildren()
     public function childExists($name) {
         $ajxpNode = new AJXP_Node($this->getUrl());
         $child = $ajxpNode->createChildNode($name);
-        return is_file($child->getUrl());
+        return file_exists($child->getUrl());
     }
 }

Original file line number	Diff line number	Diff line change
`@@ -204,6 +204,6 @@ public function getChildren()`
`204`	`204`	`public function childExists($name) {`
`205`	`205`	`$ajxpNode = new AJXP_Node($this->getUrl());`
`206`	`206`	`$child = $ajxpNode->createChildNode($name);`
`207`		`- return is_file($child->getUrl());`
	`207`	`+ return file_exists($child->getUrl());`
`208`	`208`	`}`
`209`	`209`	`}`