fixed a js error

ChangeLog

@@ -8,6 +8,7 @@ $Source$
 2001-09-01  Lo<4C>c Chapeaux  <lolo@phpheaven.net>
 	* db_stat.php3: cleaned and improved the code.
 	* header.php3: cosmetic change.
+	* db_create.php3, line9; db_readdump.php3, line 135: fixed a js error.
 
 2001-08-31  Marc Delisle  <lem9@users.sourceforge.net>
 	* lang/norwegian.inc.php3 other updates, thanks to Sven-Erik Andersen.

db_create.php3

@@ -6,6 +6,7 @@
  * Gets some core libraries
  */
 require('./grab_globals.inc.php3');
+$js_to_run = 'functions.js';
 require('./header.inc.php3');
 
 

db_readdump.php3

@@ -132,6 +132,7 @@ if ($sql_query != '') {
 /**
  * Go back to the calling script
  */
+$js_to_run = 'functions.js';
 require('./header.inc.php3');
 if (isset($my_die)) {
     mysql_die('', $my_die);