diff options
| -rw-r--r-- | apps/files/ajax/download.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/apps/files/ajax/download.php b/apps/files/ajax/download.php index 7c8dcb372e2..b2bfd53506d 100644 --- a/apps/files/ajax/download.php +++ b/apps/files/ajax/download.php @@ -35,7 +35,7 @@ $dir = $_GET["dir"]; $files_list = json_decode($files); // in case we get only a single file -if ($files_list === NULL ) { +if (!is_array($files_list)) { $files_list = array($files); } |