<commit_before><?php
@session_start();
@include_once 'utente_loggato.php';
@include_once 'dbconnection.php';
//@include_once 'menu.php'; 



/*Verifico che la sessione sia disponibile. Se lo è, vuol dire che l'utente si è già loggato e quindi che possiede già un OGGETTO UTENTE da serializzare*/
if(isset($_SESSION['login'])){
	$utente=$_SESSION['ut'];
	$utente=unserialize($utente);
	/*se si è qui, l'utente era già loggato. Mostrare chi è*/
	//echo "!!!!! Utente già loggato in precedenza. E' uno ".$utente->ruolo;
	//se l'utente era già collegato, sarà possibile reindirizzarlo alla sua home page appena cerca di ritornare al log in
	if($utente->ruolo==="studente"){
		@header("location:studenti_home.php");
	} else if ($utente->ruolo==="docente"){
		@header("location:docenti_home.php");
	} else if ($utente->ruolo==="admin"){
		@header("location:admin_home.php");
	}
}




$risultato="";
$ruoloUtente="";//serve per poter prelevare da utente->ruolo il ruolo dell'utente e poterlo reinirizzare nella homepage corretta

//inizio controllo per il login:
if(isset($_POST['usermail'])){
	//echo "email SETTATA";
	$usermail=$_POST['usermail'];
	$password=$_POST['password'];
	$loginString="SELECT * FROM anagrafe WHERE Email=\"" . $usermail . "\" AND Password=\"" . $password . "\"";
	//echo "### Il login è: ".$loginString." ###\n";
	$risultato=$connessione->query($loginString);
}
if(empty($risultato)){
	//ciao
}

elseif($risultato->num_rows==1){ //se vi è un valore corrispondente nel database, allora esegui qui giù
	//echo "Login In Corso............";
	if(!isset($_SESSION['login'])){ //se la variabile di SESSIONE non è stata creata, salterà questo passaggio. Se c'è, ne aggiunge il valore "login=true"
		//echo "Creazione SESSIONE:......";
		$res=$risultato->fetch_assoc(); //mette i risultati in un array
		//echo "Risultato= " . $res["Nome"];
		$_SESSION['login'] = true;
		
		//popolo l'oggetto UTENTE
		$utente = new utenteLoggato();
		$utente->set_parameter($res["Id"],$res["Nome"],$res["Cognome"],$res["Data_nascita"],$res["Codice_fiscale"],$res["Email"],$res["Indirizzo"],$res["Residenza"],$res["Telefono"]);
		//finito di popolare l'utente
		
		//IDENTIFICO se l'utente è un DOCENTE, STUDENTE, ADMIN
		//echo "Id dell'UTENTE: ".$utente->id;
		//#DOCENTE
		$controllaRuolo="SELECT Id_anagrafe FROM docenti WHERE Id_anagrafe=". $utente->id;
		$risultato="";
		$risultato=$connessione->query($controllaRuolo);
		$res=$risultato->fetch_assoc();
		if ($res["Id_anagrafe"]>0){
			$utente->set_ruolo("docente");
			//echo "utente DOCENTE";
		} else {
			//#STUDENTE
			$controllaRuolo="SELECT Id_anagrafe FROM studenti WHERE Id_anagrafe=". $utente->id;
			$risultato="";
			$risultato=$connessione->query($controllaRuolo);
			$res=$risultato->fetch_assoc();
			if ($res["Id_anagrafe"]>0){
				$utente->set_ruolo("studente");
				//echo "utente STUDENTE";
			}
		}
		//#ADMIN
		$controllaRuolo="SELECT Id_anagrafe FROM amministratori WHERE Id_anagrafe=". $utente->id;
		$risultato="";
		$risultato=$connessione->query($controllaRuolo);
		$res=$risultato->fetch_assoc();
		if($res["Id_anagrafe"]>0){
			$utente->set_ruolo("admin");
			//echo "utente ADMIN";
		}
		
		
		//FINE IDENTIFICAZIONE
		
		//echo " NOME UTENTE= ".$utente->nome.$utente->cognome.$utente->data_nascita.$utente->codice_fiscale.$utente->email.$utente->indirizzo.$utente->residenza.$utente->telefono;
		//echo " NOME UTENTE= ".$utente->nome;
		//echo " RUOLO= ".$utente->ruolo;
		$ruoloUtente=$utente->ruolo;
		$utente=serialize($utente);
		$_SESSION['ut'] = $utente;
	}
	//IMMETTERE QUESTE DUE RIGHE DENTRO GLI "IF" delle identificazioni
	//echo "\nReindirizzamento in corso... l'utente è un: ".$ruoloUtente;
	if($ruoloUtente==="studente"){
		@header("location:studenti_home_bootstrap.php");
	} else if ($ruoloUtente==="docente"){
		@header("location:docenti_home_bootstrap.php");
	} else if ($ruoloUtente==="admin"){
		@header("location:admin_home_bootstrap.php");
	}
	//FINE RIGHE DA IMMETTERE NELL'IF
	
	//reindirizzamento alla pagina HOME PAGE dell'utente
} else { //se non vi sono valori nel database (o vi sono più valori restituiti, anche se improbabile) allora esegui l'ELSE
	if(isset($_POST['usermail'])){
		echo "<div style=\"width:100%;background-color:#FF3333;text-align:center;\"><b>NOME UTENTE o PASSWORD errati. Riprova ad eseguire il login</b></div>";
	}
	//@session_write_close();
}
?>


<!DOCTYPE html>
<html lang="en">
<head>

<?php @include_once 'shared/head_inclusions.php';?>
</head>
<body>
<div id="wrapper">
	<section id="featured">
	<!-- start header -->
			<header>
		        <div class="navbar navbar-default navbar-static-top">
		            <div class="container">
					<a href="index.html">
		                <div class="navbar-header" style="padding-left:70px;">
		                  
							<img src="logo.png" alt="" />
		                </div>
		             </a>
		        </div>
			</header>
			<!-- end header -->
	<!-- start slider -->
		<div class="container">
				
			<section class="loginform cf" style="float:left;">
				<form name="login" method="post" action="<?php echo $_SERVER['PHP_SELF']; ?>" accept-charset="utf-8">
					<table align="center" >
						<tr>
							<td>
								<label for="usermail">Email &nbsp;</label>
							
							</td>
							<td>
								<input type="email" name="usermail" placeholder="<EMAIL>" required>
							</td>
						</tr>
						<tr>
							<td>
								</br>
							</td>
						</tr>
						<tr>
							<td>
								<label for="password">Password  &nbsp;</label>
							</td>
							<td>
								<input type="password" name="password" placeholder="password" required>
							</td>
						</tr>
						<tr>
							<td>
								</br>
							</td>
						</tr>
						<tr>
							<td>
								<input type="submit" value="Login">
							</td>
						</tr>
						<tr>
							<td>
								</br>
							</td>
						</tr>
						<tr>
							<td>
								<a href="registrati.php">Registrati</a>
								</br>
								<a href="">Password dimenticata ? </a>
							</td>
						</tr>
					</table>
					<div class="footer" style="position:fixed;bottom:0px;left:0px;width:100%;background-color:black;color:white;">
						<p align="center">Copyright © 2015 <NAME> <a href="" rel="nofollow" target="_blank"></a>
						</p>
					</div>
				</form>		
			</section>
		</div>	
	</section>
</div> <!-- CHIUSURA DIV WRAPPER -->
<!-- javascript ================================================== --><!-- Placed at the end of the document so the pages load faster -->
<script src="js/jquery.js"></script>
<script src="js/jquery.easing.1.3.js"></script>
<script src="js/bootstrap.min.js"></script>
<script src="js/jquery.fancybox.pack.js"></script>
<script src="js/jquery.fancybox-media.js"></script>
<script src="js/google-code-prettify/prettify.js"></script>
<script src="js/portfolio/jquery.quicksand.js"></script>
<script src="js/portfolio/setting.js"></script>
<script src="js/jquery.flexslider.js"></script>
<script src="js/animate.js"></script>
<script src="js/custom.js"></script>
</body>
</html><commit_msg>VERSIONE 0.1.3.9 (GRAFICA) Sistemata pagina di login index_bootstrap.php<commit_after><?php
@session_start();
@include_once 'utente_loggato.php';
@include_once 'dbconnection.php';
//@include_once 'menu.php'; 



/*Verifico che la sessione sia disponibile. Se lo è, vuol dire che l'utente si è già loggato e quindi che possiede già un OGGETTO UTENTE da serializzare*/
if(isset($_SESSION['login'])){
	$utente=$_SESSION['ut'];
	$utente=unserialize($utente);
	/*se si è qui, l'utente era già loggato. Mostrare chi è*/
	//echo "!!!!! Utente già loggato in precedenza. E' uno ".$utente->ruolo;
	//se l'utente era già collegato, sarà possibile reindirizzarlo alla sua home page appena cerca di ritornare al log in
	if($utente->ruolo==="studente"){
		@header("location:studenti_home.php");
	} else if ($utente->ruolo==="docente"){
		@header("location:docenti_home.php");
	} else if ($utente->ruolo==="admin"){
		@header("location:admin_home.php");
	}
}




$risultato="";
$ruoloUtente="";//serve per poter prelevare da utente->ruolo il ruolo dell'utente e poterlo reinirizzare nella homepage corretta

//inizio controllo per il login:
if(isset($_POST['usermail'])){
	//echo "email SETTATA";
	$usermail=$_POST['usermail'];
	$password=$_POST['password'];
	$loginString="SELECT * FROM anagrafe WHERE Email=\"" . $usermail . "\" AND Password=\"" . $password . "\"";
	//echo "### Il login è: ".$loginString." ###\n";
	$risultato=$connessione->query($loginString);
}
if(empty($risultato)){
	//ciao
}

elseif($risultato->num_rows==1){ //se vi è un valore corrispondente nel database, allora esegui qui giù
	//echo "Login In Corso............";
	if(!isset($_SESSION['login'])){ //se la variabile di SESSIONE non è stata creata, salterà questo passaggio. Se c'è, ne aggiunge il valore "login=true"
		//echo "Creazione SESSIONE:......";
		$res=$risultato->fetch_assoc(); //mette i risultati in un array
		//echo "Risultato= " . $res["Nome"];
		$_SESSION['login'] = true;
		
		//popolo l'oggetto UTENTE
		$utente = new utenteLoggato();
		$utente->set_parameter($res["Id"],$res["Nome"],$res["Cognome"],$res["Data_nascita"],$res["Codice_fiscale"],$res["Email"],$res["Indirizzo"],$res["Residenza"],$res["Telefono"]);
		//finito di popolare l'utente
		
		//IDENTIFICO se l'utente è un DOCENTE, STUDENTE, ADMIN
		//echo "Id dell'UTENTE: ".$utente->id;
		//#DOCENTE
		$controllaRuolo="SELECT Id_anagrafe FROM docenti WHERE Id_anagrafe=". $utente->id;
		$risultato="";
		$risultato=$connessione->query($controllaRuolo);
		$res=$risultato->fetch_assoc();
		if ($res["Id_anagrafe"]>0){
			$utente->set_ruolo("docente");
			//echo "utente DOCENTE";
		} else {
			//#STUDENTE
			$controllaRuolo="SELECT Id_anagrafe FROM studenti WHERE Id_anagrafe=". $utente->id;
			$risultato="";
			$risultato=$connessione->query($controllaRuolo);
			$res=$risultato->fetch_assoc();
			if ($res["Id_anagrafe"]>0){
				$utente->set_ruolo("studente");
				//echo "utente STUDENTE";
			}
		}
		//#ADMIN
		$controllaRuolo="SELECT Id_anagrafe FROM amministratori WHERE Id_anagrafe=". $utente->id;
		$risultato="";
		$risultato=$connessione->query($controllaRuolo);
		$res=$risultato->fetch_assoc();
		if($res["Id_anagrafe"]>0){
			$utente->set_ruolo("admin");
			//echo "utente ADMIN";
		}
		
		
		//FINE IDENTIFICAZIONE
		
		//echo " NOME UTENTE= ".$utente->nome.$utente->cognome.$utente->data_nascita.$utente->codice_fiscale.$utente->email.$utente->indirizzo.$utente->residenza.$utente->telefono;
		//echo " NOME UTENTE= ".$utente->nome;
		//echo " RUOLO= ".$utente->ruolo;
		$ruoloUtente=$utente->ruolo;
		$utente=serialize($utente);
		$_SESSION['ut'] = $utente;
	}
	//IMMETTERE QUESTE DUE RIGHE DENTRO GLI "IF" delle identificazioni
	//echo "\nReindirizzamento in corso... l'utente è un: ".$ruoloUtente;
	if($ruoloUtente==="studente"){
		@header("location:studenti_home_bootstrap.php");
	} else if ($ruoloUtente==="docente"){
		@header("location:docenti_home_bootstrap.php");
	} else if ($ruoloUtente==="admin"){
		@header("location:admin_home_bootstrap.php");
	}
	//FINE RIGHE DA IMMETTERE NELL'IF
	
	//reindirizzamento alla pagina HOME PAGE dell'utente
} else { //se non vi sono valori nel database (o vi sono più valori restituiti, anche se improbabile) allora esegui l'ELSE
	if(isset($_POST['usermail'])){
		echo "<div style=\"width:100%;background-color:#FF3333;text-align:center;\"><b>NOME UTENTE o PASSWORD errati. Riprova ad eseguire il login</b></div>";
	}
	//@session_write_close();
}
?>


<!DOCTYPE html>
<html lang="en">
<head>

<?php @include_once 'shared/head_inclusions.php';?>
</head>
<body>
<div id="wrapper">
	<section id="featured">
	<!-- start header -->
			<header>
		        <div class="navbar navbar-default navbar-static-top">
		            <div class="container">
					<a href="index.html">
		                <div class="navbar-header" style="padding-left:70px;">
		                  
							<img src="logo.png" alt="" />
		                </div>
		             </a>
		        </div>
			</header>
			<!-- end header -->
	<!-- start slider -->
		<div class="container">
			
			<div class="row center-block">
			<div class="col-md-4"> </div>	
			
				<form name="login" method="post" action="<?php echo $_SERVER['PHP_SELF']; ?>" accept-charset="utf-8">
					
							
								<div class="col-md-4">
								<div class="row center-block">
								
									<label for="usermail">Email &nbsp;</label>
								
								
							
								<div class="row center-block">
									<input type="email" name="usermail" class="form-control" placeholder="username" required>
								</div>
								</div>
								
								
						
						
							
								<div class="row center-block">
								</br>
									<label for="password">Password  &nbsp;</label>
								
							</div>
								<div class="row center-block">
									<input type="password" name="password" class="form-control" placeholder="password" required>
								
								</div>
								
							
						
						
								<div class="row center-block">
								</br>
								<button type="button" class="btn btn-primary center-block" aria-haspopup="false">
									Login
								</button>
								
								</div>
								</br>
								
								<a href="registrati.php">Registrati</a>
								</br>
								<a href="">Password dimenticata ? </a>
								
							
						
						</div>
					
					
					
				</form>	
					<div class="col-md-4"> </div>	
					<div class="footer" style="position:fixed;bottom:0px;left:0px;width:100%;background-color:black;color:white;">
						<p align="center">Copyright © 2015 <NAME> <a href="" rel="nofollow" target="_blank"></a>
						</p>
					</div>
		
		</div>
	</section>
</div> <!-- CHIUSURA DIV WRAPPER -->
<!-- javascript ================================================== --><!-- Placed at the end of the document so the pages load faster -->
<script src="js/jquery.js"></script>
<script src="js/jquery.easing.1.3.js"></script>
<script src="js/bootstrap.min.js"></script>
<script src="js/jquery.fancybox.pack.js"></script>
<script src="js/jquery.fancybox-media.js"></script>
<script src="js/google-code-prettify/prettify.js"></script>
<script src="js/portfolio/jquery.quicksand.js"></script>
<script src="js/portfolio/setting.js"></script>
<script src="js/jquery.flexslider.js"></script>
<script src="js/animate.js"></script>
<script src="js/custom.js"></script>
</body>
</html>
{'fraction_non_alphanumeric': 0.19641243134255718, 'fraction_numerical': 0.003963011889035667, 'mean_word_length': 3.4768129474011826, 'pattern_counts': {'":': 0, '<': 222, '<?xml version=': 0, '>': 294, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 1, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6844462', 'n_tokens_mistral': 6199, 'n_tokens_neox': 5145, 'n_words': 1049}