buffer = ""; $this->headers = array(); } /** * PHP magic method called when ending the script * Used for outputing HTML */ function __destruct() { if( ! empty($this->headers)) { // Set headers foreach($this->headers as $key => $val) { if( ! isset($val)) { @header($key); } else { @header("$key: $val"); } } } if( ! empty($this->buffer)) { ob_start("ob_gzhandler"); echo $this->buffer; ob_end_flush(); } else { echo "No page content"; } } /** * Sets a header for later output * @param string $key * @param string $val */ function set_header($key, $val) { $this->headers[$key] = $val; } /** * Adds text to the output buffer * * @param string $string */ function append_output($string) { $this->buffer .= $string; } /** * Sets the output buffer * * @param string $string */ function set_output($string) { $this->buffer = $string; } } // End of Output.php