<?php
session_start();
ob_start();
$host="localhost"; // Host name
$DBusername=""; // Mysql user
$DBpassword=""; // Mysql password
$db_name=""; // Database name

// Connect to server and select databse.
mysql_connect($host, $DBusername, $DBpassword)or die("cannot connect");
mysql_select_db($db_name)or die("cannot select DB");

function NotLoggedIn() {
	echo "You are not logged in<br /><a href=\"index.php\">Go back</a>";
	exit();
	}

function Check_Login() {
	if(isset($_SESSION['user'])) {
		$res = mysql_query("SELECT * FROM GUIDTech WHERE user='". $_SESSION['user'] ."'")or die(mysql_error());
		if(mysql_num_rows($res) == 1) {
			$data = mysql_fetch_assoc($res);
			if(!$data['code'] == $_SESSION['code']) {
				return false;
				}
			else {
				return true;
				$_SESSION['user'] = $data['user'];
				$_SESSION['code'] = $data['code'];
				$_SESSION['nickname'] = $data['nickname'];
				$username = $_SESSION['user'];
				$nickname = $_SESSION['nickname'];
				}
			}
		else {
			return false;
			}
		}
	else {
		return false;
		}
	}
?>