diff --git a/repository/local/lib.php b/repository/local/lib.php
index ab374d6efdf..4f364752005 100644
--- a/repository/local/lib.php
+++ b/repository/local/lib.php
@@ -99,10 +99,6 @@ class repository_local extends repository {
                         continue;
                     }
                     $params = $child->get_params();
-                    $subdir_children = $child->get_children();
-                    //if (empty($subdir_children)) {
-                        //continue;
-                    //}
                     $encodedpath = base64_encode(serialize($params));
                     // hide user_private area from local plugin, user should
                     // use private file plugin to access private files