From d4aa996b78e70fa086e1707d941f96a91e8cef5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Chapeaux?= <lolo@phpheaven.net>
Date: Fri, 31 Aug 2001 15:36:58 +0000
Subject: [PATCH] fixed a bug if $sql_file = ''

---
 db_readdump.php3 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/db_readdump.php3 b/db_readdump.php3
index b5035d4ac..1cc5dbc3c 100755
--- a/db_readdump.php3
+++ b/db_readdump.php3
@@ -21,7 +21,7 @@ require('./lib.inc.php3');
 $view_bookmark = 0;
 $sql_bookmark  = isset($sql_bookmark) ? $sql_bookmark : '';
 $sql_query     = isset($sql_query)    ? $sql_query    : '';
-$sql_file      = isset($sql_file)     ? $sql_file     : 'none';
+$sql_file      = !empty($sql_file)    ? $sql_file     : 'none';
 
 
 /**