FrameworkFileOutputPointer.__destruct (  )  [final]

Destructor for cleaning purposes, etc.

Reimplemented from BaseFrameworkSystem.

Definition at line 50 of file class_FrameworkFileOutputPointer.php.

References closeFile(), and getPointer().

00050                                            {
00051                 // Is there a resource pointer? Then we have to close the file here!
00052                 if (is_resource($this->getPointer())) {
00053                         // Try to close a file
00054                         $this->closeFile();
00055                 }
00056 
00057                 // Call the parent destructor
00058                 parent::__destruct();
00059         }

Here is the call graph for this function:


Generated on Mon Dec 8 01:12:27 2008 for Ship-Simulator by  doxygen 1.5.6