sess =& $_SESSION['MM_SESSION']; } // -------------------------------------------------------------------------- /** * Set a session value * * @param string $key * @param mixed $val * @return void */ public function __set($key, $val) { $this->sess[$key] = $val; } // -------------------------------------------------------------------------- /** * Retreive a session value * * @param string $key * @return mixed */ public function __get($key) { return $this->sess[$key]; } // -------------------------------------------------------------------------- /** * Destroy a session * * @return void */ public function destroy() { sess_destroy(); } } // End of session.php