3245007f0e
The "TreeDirNode.getDirChildren()" method is never called and can be safely removed. Further, note that this method has a bug. It calls the "filter()" builtin function, which modifies "self.children" in-place. This is obviously not a desirable side effect of calling this function. If the functionality is genuinely required later, "filter()" should be called on a copy of "self.children" to achieve the desired result.