Handle null file handles in UIDGenerator::_destruct()

Change-Id: I92f874e610b2ea32d34aeb35ddd4069fe0d721fc

diff --git a/includes/utils/UIDGenerator.php b/includes/utils/UIDGenerator.php
index 0eac06e..c7bb4f3 100644 (file)
--- a/includes/utils/UIDGenerator.php
+++ b/includes/utils/UIDGenerator.php
@@ -500,6 +500,6 @@ class UIDGenerator {
        }
 
        function __destruct() {
-               array_map( 'fclose', $this->fileHandles );
+               array_map( 'fclose', array_filter( $this->fileHandles ) );
        }
 }