Condense a sequence of newlines after a /*! directive */;

diff --git a/ChangeLog b/ChangeLog
index a32122acc7d1f83d898964fdd5126a15baf6e0de..597b210abcfc71c79119761219e016d3d8b6f805 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+Version 0.0.6 (2016-09-??)
+
+    Condense a sequence of newlines after a /*! directive */;
+
 Version 0.0.5 (2016-09-07)
 
     Remove /*! directives */; and newlines after them.

diff --git a/scripts/mysql2sql b/scripts/mysql2sql
index 3bb03028d9d334b192fd27904e043fbdd74b4124..98c5f10e6eeee216120facaa3b53250ab47decdb 100755 (executable)
--- a/scripts/mysql2sql
+++ b/scripts/mysql2sql
@@ -51,9 +51,8 @@ def main(infile, encoding, outfile, output_encoding, use_pbar):
         if grouper.statements:
             for statement in grouper.get_statements():
                 if got_directive and is_newline_statement(statement):
-                    # Replace a sequence of newlines after a /*! directive */;
-                    # with one newline
-                    #outfile.write(u'\n')
+                    # Condense a sequence of newlines after a /*! directive */;
+                    got_directive = False
                     continue
                 got_directive = is_directive_statement(statement)
                 if got_directive: