diff options
| author | Ivan Tcholakov <ivantcholakov@gmail.com> | 2014-08-18 11:04:27 +0200 |
|---|---|---|
| committer | Ivan Tcholakov <ivantcholakov@gmail.com> | 2014-08-18 11:04:27 +0200 |
| commit | d514d5c436e599942f9cb00475f0543e705c9a0f (patch) | |
| tree | d6c0c1b45de09aaa5c6a7d20edb61fb6debeca5e /system/libraries/User_agent.php | |
| parent | bc417613f3ea8910a48fc0788a1f9c6d05577aa5 (diff) | |
Cache_redis, delete() method: Try to remove a key from Redis auxilary set only when the corresponding value is really deleted.
Diffstat (limited to 'system/libraries/User_agent.php')
0 files changed, 0 insertions, 0 deletions