summaryrefslogtreecommitdiffstats
path: root/system
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2019-09-05 14:48:28 +0200
committerAndrey Andreev <narf@devilix.net>2019-09-05 14:48:57 +0200
commit2e7788b754393d2f6835c947783bd497ee3a043c (patch)
tree5d9bb252da5668b6703b41feaf1dd5f35b5723a4 /system
parent29684763878a008f31187190389b394a76f80d95 (diff)
[ci skip] Remove a few leftover trailing spaces from PR #5816
Diffstat (limited to 'system')
-rw-r--r--system/libraries/Session/drivers/Session_redis_driver.php10
1 files changed, 5 insertions, 5 deletions
diff --git a/system/libraries/Session/drivers/Session_redis_driver.php b/system/libraries/Session/drivers/Session_redis_driver.php
index 930e00d53..df38174b4 100644
--- a/system/libraries/Session/drivers/Session_redis_driver.php
+++ b/system/libraries/Session/drivers/Session_redis_driver.php
@@ -78,27 +78,27 @@ class CI_Session_redis_driver extends CI_Session_driver implements SessionHandle
/**
* Name of setTimeout() method in phpRedis
- *
+ *
* Due to some deprecated methods in phpRedis, we need to call the
* specific methods depending on the version of phpRedis.
- *
+ *
* @var string
*/
protected $_setTimeout_name;
/**
* Name of delete() method in phpRedis
- *
+ *
* Due to some deprecated methods in phpRedis, we need to call the
* specific methods depending on the version of phpRedis.
- *
+ *
* @var string
*/
protected $_delete_name;
/**
* Success return value of ping() method in phpRedis
- *
+ *
* @var mixed
*/
protected $_ping_success;