Ignore errors in RedisConnectionPool destructor
authorGergő Tisza <gtisza@wikimedia.org>
Sun, 13 Aug 2017 14:18:18 +0000 (14:18 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Mon, 14 Aug 2017 14:28:41 +0000 (14:28 +0000)
commita778ea13160cf3c087415dc8e35517c7785ee0a9
treefd2a492bec5f8e7d1389a443ac567b6b4deab260
parentfc2380c9d2c708c18fdad4792c8b7b93491ac8b3
Ignore errors in RedisConnectionPool destructor

The destructor can be called on shutdown so any operation which
relies on another object or resource can fail. E.g. running
anything involving Redis (such as >>new Message('').''<<)
from shell.php and then exiting will result in a RedisException
since the PHP engine closes the Redis connection before destroying
the connection pool. Such errors can be safely ignored.

Change-Id: I38474a9dda89c82edbcb878facb4a97740e9189a
includes/libs/redis/RedisConnectionPool.php