MDL-47085 badges: Fix badges file download issues

Signed-off-by: Yuliya Bozhko <[email protected]>
2015-02-09 16:00:17 +13:00
parent 88cd577ef3
commit 62fef3cf7e
3 changed files with 12 additions and 15 deletions
@@ -1126,7 +1126,8 @@ function badges_download($userid) {
    if ($zipper->archive_to_pathname($filelist, $tempzip)) {
        send_temp_file($tempzip, 'badges.zip');
    } else {
-        debugging("Problems with archiving the files.");
+        debugging("Problems with archiving the files.", DEBUG_DEVELOPER);
+        die;
    }
 }