<?php

    function disconnect() {
        if($_SESSION['signed_in'] == TRUE) {

            $_SESSION['signed_in']  = NULL;
            $_SESSION['id']    = NULL;
            $_SESSION['name']  = NULL;

            $_SESSION = array();
            }

        session_unset();
        session_destroy();

        if(!isset($connect))
        return;

        mysql_close($connect);
        }

    function close_connection() {
        session_unset();
        session_destroy();

        if(!isset($connect))
        return;

        mysql_close($connect);
        }

?>