diff options
author | Eric Roberts <eric@cryode.com> | 2013-01-17 04:32:51 +0100 |
---|---|---|
committer | Eric Roberts <eric@cryode.com> | 2013-01-17 04:32:51 +0100 |
commit | bd6faca03fc7934a0ad1cff8584bfb49d2a43d49 (patch) | |
tree | 51e68684755b42a32e5a709479835be0fb891f9c /system/libraries/User_agent.php | |
parent | 7a4fb63a43392fc1cf5a5ead32ad81451c53dc67 (diff) | |
parent | b26bb6ef76eb2f8327dafe085ae6bca14c22160b (diff) |
Merge branch 'develop' of https://github.com/EllisLab/CodeIgniter into feature/output-cache-improvements
Diffstat (limited to 'system/libraries/User_agent.php')
-rw-r--r-- | system/libraries/User_agent.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/libraries/User_agent.php b/system/libraries/User_agent.php index 542deb738..1f4b2fa52 100644 --- a/system/libraries/User_agent.php +++ b/system/libraries/User_agent.php @@ -158,7 +158,7 @@ class CI_User_agent { $this->agent = trim($_SERVER['HTTP_USER_AGENT']); } - if ( ! is_null($this->agent) && $this->_load_agent_file()) + if ($this->agent !== NULL && $this->_load_agent_file()) { $this->_compile_data(); } |