r1341 + flush output after each line
authorDenis Ovsienko <infrastation@yandex.ru>
Thu, 29 Nov 2007 22:54:42 +0000 (22:54 +0000)
committerDenis Ovsienko <infrastation@yandex.ru>
Thu, 29 Nov 2007 22:54:42 +0000 (22:54 +0000)
+ remove old query

upgrade.php

index 07cd3b26b9d61afabaacdfd92e20e57140e59abb..cc13813a7613c5d3dac09e71924387f4c510da42 100644 (file)
@@ -139,7 +139,6 @@ CREATE TABLE `Config` (
                        // into 1-field one to employ AUTO_INCREMENT properly. This means
                        // renumbering lots of records in Dictionary and adjusting records
                        // in related tables. After that we can safely swap the tables.
-#                      $query[] = 'create table Dictionary_0_14_7_new (chapter_no int(10) unsigned NOT NULL, dict_key int(10) unsigned NOT NULL auto_increment PRIMARY KEY, dict_value char(128) default NULL)';
                        $query[] = "
 CREATE TABLE `Dictionary_0_14_7_new` (
   `chapter_no` int(10) unsigned NOT NULL,
@@ -566,6 +565,7 @@ echo '</pre>';
                if (++$ndots == 50)
                {
                        echo "\n";
+                       flush();
                        $ndots = 0;
                }
        }