From 1cef835c05f71624b0d8994428e2087592cdec03 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Thu, 15 Jul 2004 14:09:23 +0000
Subject: [PATCH] Display SQL export after saving file on server	(bug #989657).

---
 ChangeLog                        | 2 ++
 libraries/display_export.lib.php | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index e2cf4cf21..912396467 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -8,6 +8,8 @@ $Source$
 2004-07-15 Michal Čihař  <michal@cihar.com>
     * tbl_properties_export.php: Fix export of queries with empty WHERE clause
       (bug #990330).
+    * libraries/display_export.lib.php: Display SQL export after saving file
+      on server	(bug #989657).
 
 2004-07-15 Marc Delisle  <lem9@users.sourceforge.net>
     * tbl_change.php: bug 990959, undefined index for DATETIME
diff --git a/libraries/display_export.lib.php b/libraries/display_export.lib.php
index 52b8ac398..966196280 100644
--- a/libraries/display_export.lib.php
+++ b/libraries/display_export.lib.php
@@ -45,6 +45,9 @@ if ($export_type == 'server') {
     if (!isset($single_table)) {
         $hide_structure = true;
         $hide_sql       = true;
+    } else {
+        // just to keep this value for possible next display of this form after saving on server
+        echo '    <input type="hidden" name="single_table" value="TRUE" />';
     }
 }
 echo '    <input type="hidden" name="export_type" value="' . $export_type . '" />';