Fixes #21 repair file downloading in admin interface

Thanks to @tbleiker who found the bug :)

diff --git a/admin.php b/admin.php
index 837686ed3b5fdfb0b89d5bbfbad4357116a4b032..cad427cc35c9d7be4f3651f46fd11174be443147 100644 (file)
--- a/admin.php
+++ b/admin.php
@@ -123,12 +123,12 @@ if (!isset ($_SESSION['admin_auth']) || $_SESSION['admin_auth'] != true)
 /* Remove errors. */
 @error_reporting(0);
 
-/* Admin interface. */
-require (JIRAFEAU_ROOT . 'lib/template/header.php');
-?><h2><?php echo t('Admin interface'); ?></h2><?php
-
-/* Show admin interface. */
+/* Show admin interface if not downloading a file. */
+if (!(isset ($_POST['action']) && strcmp ($_POST['action'], 'download') == 0))
 {
+        require (JIRAFEAU_ROOT . 'lib/template/header.php');
+        ?><h2><?php echo t('Admin interface'); ?></h2><?php
+
         ?><div id = "install">
         <fieldset><legend><?php echo t('Actions');?></legend>
         <table>
@@ -277,6 +277,7 @@ if (isset ($_POST['action']))
                 $l['file_name'] . '"');
         if (file_exists(VAR_FILES . $p . $l['md5']))
             readfile (VAR_FILES . $p . $l['md5']);
+        exit;
     }
 }