Handle null file handles in UIDGenerator::_destruct()
authorAaron Schulz <aschulz@wikimedia.org>
Mon, 7 Apr 2014 23:07:55 +0000 (16:07 -0700)
committerAaron Schulz <aschulz@wikimedia.org>
Tue, 8 Apr 2014 16:13:44 +0000 (16:13 +0000)
commit3a4e66ca92750a81ad196f16c4806c154bd6ce3f
tree00799586ae2ba33c9e762163a909a5d69669db40
parent2f406cc6adb30bd3ae1449589e809e108dba10bc
Handle null file handles in UIDGenerator::_destruct()

Change-Id: I92f874e610b2ea32d34aeb35ddd4069fe0d721fc
includes/utils/UIDGenerator.php