<?php
	session_start();
	require_once("include/connection.php");
	$connection = "";
	if(isset($_POST['submit'])){
		$username = $_POST["name"];
		$pass = $_POST['pass'];


		$query = "SELECT * FROM user WHERE user_name = '$username' AND password='$pass'";
		$result = mysql_query($query);
		if(!$result){
			die("Database query failed! " . mysql_error());
		}
		$num_of_user = mysql_num_rows($result);
		if($num_of_user>0){
			$_SESSION['name'] = $username;
			header("Location: main.php");
		}else{
			header("Location: index.html");
		}
		mysql_close($connection);

	}

?>