MediaWiki master
DumpFileOutput.php
Go to the documentation of this file.
1<?php
31 protected $handle = false;
33 protected $filename;
34
38 public function __construct( $file ) {
39 $this->handle = fopen( $file, "wt" );
40 $this->filename = $file;
41 }
42
46 public function writeCloseStream( $string ) {
47 parent::writeCloseStream( $string );
48 if ( $this->handle ) {
49 fclose( $this->handle );
50 $this->handle = false;
51 }
52 }
53
57 public function write( $string ) {
58 fputs( $this->handle, $string );
59 }
60
64 public function closeRenameAndReopen( $newname ) {
65 $this->closeAndRename( $newname, true );
66 }
67
71 protected function renameOrException( $newname ) {
72 if ( !rename( $this->filename, $newname ) ) {
73 throw new RuntimeException( __METHOD__ . ": rename of file {$this->filename} to $newname failed\n" );
74 }
75 }
76
82 protected function checkRenameArgCount( $newname ) {
83 if ( is_array( $newname ) ) {
84 if ( count( $newname ) > 1 ) {
85 throw new MWException( __METHOD__ . ": passed multiple arguments for rename of single file\n" );
86 }
87 $newname = $newname[0];
88 }
89 return $newname;
90 }
91
95 public function closeAndRename( $newname, $open = false ) {
96 $newname = $this->checkRenameArgCount( $newname );
97 if ( $newname ) {
98 if ( $this->handle ) {
99 fclose( $this->handle );
100 $this->handle = false;
101 }
102 $this->renameOrException( $newname );
103 if ( $open ) {
104 $this->handle = fopen( $this->filename, "wt" );
105 }
106 }
107 }
108
112 public function getFilenames() {
113 return $this->filename;
114 }
115}
resource false $handle
checkRenameArgCount( $newname)
writeCloseStream( $string)
closeRenameAndReopen( $newname)
Close the old file, move it to a specified name, and reopen new file with the old name....
renameOrException( $newname)
closeAndRename( $newname, $open=false)
Close the old file, and move it to a specified name.Use this for the last piece of a file written out...
MediaWiki exception.