diff options
Diffstat (limited to 'apps')
| -rw-r--r-- | apps/files_sharing/public.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/apps/files_sharing/public.php b/apps/files_sharing/public.php index ec7c80f3316..e64a1f7b127 100644 --- a/apps/files_sharing/public.php +++ b/apps/files_sharing/public.php @@ -100,6 +100,7 @@ if (isset($path)) { $file = basename($path); // Download the file if (isset($_GET['download'])) { + \OC::$server->getSession()->close(); if (isset($_GET['files'])) { // download selected files $files = urldecode($_GET['files']); $files_list = json_decode($files); |