summaryrefslogtreecommitdiffstats
path: root/system/libraries
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:28 +0200
commitdd4c143ef12ccab9dd57991677ced85a4756ce1e (patch)
treeba548b298553c476338b0d8301048820902b6977 /system/libraries
parentd5328adebff867b2757c74190eec5073ad56386f (diff)
[ci skip] Remove a few leftover trailing spaces from PR #5816
Diffstat (limited to 'system/libraries')
-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 cb6bf3645..cba8c4f1d 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;