<commit_before><?php 
// We gaan sessies gebruiken 
session_start(); 

// Gebruikersnaam en wachtwoord instellen 
$sGebruikerControle = 'Antoinnette'; 
$sWachtwoordControle = '<PASSWORD>'; 

// Controle of het formulier verzonden is 
if($_SERVER['REQUEST_METHOD'] == 'POST') 
{ 
    // Controle of benodigde velden wel ingevuld zijn 
    if(isset($_POST['user'], $_POST['pass'])) 
    {     
        // Overbodige spaties verwijderen 
        $sGebruiker = htmlentities(trim($_POST['user'])); 
        $sWachtwoord = htmlentities(trim($_POST['pass'])); 
         
        // Gebruikersnaam en wachtwoord controleren 
        if($sGebruiker == $sGebruikerControle && $sWachtwoord == $sWachtwoordControle) 
        { 
            // Juiste gebruikersnaam en wachtwoord: inloggen! 
            $_SESSION['logged_in'] = true; 
            $_SESSION['gebruiker'] = $sGebruiker; 
             
            // Doorsturen en melding geven 
            header('Refresh: 3; url=/pages/logged_in.php'); 
            echo 'Je bent succesvol ingelogd. Je wordt doorgestuurd.'; 
        } 
        else 
        { 
            // Terugsturen en foutmelding geven 
            header('Refresh: 3; url=login.php'); 
            echo 'Deze combinatie van gebruikersnaam en wachtwoord is niet juist!'; 
        } 
    } 
    else 
    { 
        header('Refresh: 3; url=login.php'); 
        echo 'Een vereist veld bestaat niet!'; 
    } 
} 
else 
{ 
    // Terug naar het formulier 
    header('Location: login.php'); 
    exit(); 
} 
?>
<commit_msg>Overige Errors opgelost<commit_after><?php 
// We gaan sessies gebruiken 
session_start(); 

// Gebruikersnaam en wachtwoord instellen 
$sGebruikerControle = 'Antoinnette'; 
$sWachtwoordControle = '<PASSWORD>'; 

// Controle of het formulier verzonden is 
if($_SERVER['REQUEST_METHOD'] == 'POST') 
{ 
    // Controle of benodigde velden wel ingevuld zijn 
    if(isset($_POST['user'], $_POST['pass'])) 
    {     
        // Overbodige spaties verwijderen 
        $sGebruiker = htmlentities(trim($_POST['user'])); 
        $sWachtwoord = htmlentities(trim($_POST['pass'])); 
         
        // Gebruikersnaam en wachtwoord controleren 
        if($sGebruiker == $sGebruikerControle && $sWachtwoord == $sWachtwoordControle) 
        { 
            // Juiste gebruikersnaam en wachtwoord: inloggen! 
            $_SESSION['logged_in'] = true; 
            $_SESSION['gebruiker'] = $sGebruiker; 
             
            // Doorsturen en melding geven 
            header('Refresh: 3; url=/pages/logged_in.php'); 
            echo 'Je bent succesvol ingelogd. Je wordt doorgestuurd.'; 
        } 
        else 
        { 
            // Terugsturen en foutmelding geven 
            header('Refresh: 3; url=/pages/login.php'); 
            echo 'Deze combinatie van gebruikersnaam en wachtwoord is niet juist!'; 
        } 
    } 
    else 
    { 
        header('Refresh: 3; url=login.php'); 
        echo 'Een vereist veld bestaat niet!'; 
    } 
} 
else 
{ 
    // Terug naar het formulier 
    header('Location: login.php'); 
    exit(); 
} 
?>

{'fraction_non_alphanumeric': 0.12066169315601687, 'fraction_numerical': 0.0019461563412260785, 'mean_word_length': 2.163076923076923, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, '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': '7340238', 'n_tokens_mistral': 1074, 'n_tokens_neox': 1018, 'n_words': 214}