Closing dump buffers on stream end

Change-Id: I7bef095f2f9189fb20064da4fd09ed4caa7a90e5

diff --git a/includes/Export.php b/includes/Export.php
index 82aa946..0bddd4c 100644 (file)
--- a/includes/Export.php
+++ b/includes/Export.php
@@ -794,6 +794,11 @@ class DumpFileOutput extends DumpOutput {
                $this->filename = $file;
        }
 
+       function writeCloseStream( $string ) {
+               parent::writeCloseStream( $string );
+               fclose( $this->handle );
+       }
+
        function write( $string ) {
                fputs( $this->handle, $string );
        }
@@ -854,6 +859,11 @@ class DumpPipeOutput extends DumpFileOutput {
                $this->filename = $file;
        }
 
+       function writeCloseStream( $string ) {
+               parent::writeCloseStream( $string );
+               proc_close( $this->procOpenResource );
+       }
+
        function startCommand( $command ) {
                $spec = array(
                        0 => array( "pipe", "r" ),