diff options
| author | Martial Saunois <saunois.martial@gmail.com> | 2014-01-26 21:46:09 +0400 |
|---|---|---|
| committer | Martial Saunois <saunois.martial@gmail.com> | 2014-01-26 21:46:09 +0400 |
| commit | c2ed8d5aa111ac537cf37bbf0d60fd503a62c24a (patch) | |
| tree | 584173929fdd7ef9a8ad4250a586179193782c23 /lib/private/request.php | |
| parent | d94c9bc8daa2e6d02f92646383519f70bb47cff0 (diff) | |
New user agent added for the Freebox.
The Freebox is the multimedia device of a french Internet provider: Free. This device provides a seedbox which uses the user agent "Mozilla/5.0". In the "Content-Disposition" header, if the "filename" key is used with the "filename*=UTF-8''" value, the seedbox does not take care about the header and saves the file name with the origin URL. This patch brings the support for the Freebox users.
Diffstat (limited to 'lib/private/request.php')
| -rwxr-xr-x | lib/private/request.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/private/request.php b/lib/private/request.php index d9d5ae08e28..855148ac25a 100755 --- a/lib/private/request.php +++ b/lib/private/request.php @@ -11,6 +11,7 @@ class OC_Request { const USER_AGENT_IE = '/MSIE/'; // Android Chrome user agent: https://developers.google.com/chrome/mobile/docs/user-agent const USER_AGENT_ANDROID_MOBILE_CHROME = '#Android.*Chrome/[.0-9]*#'; + const USER_AGENT_FREEBOX = '#Mozilla/5\.0$#'; /** * @brief Check overwrite condition |