<commit_before><html>

<head>
	<title>Garage à Denis</title>
	<link rel="stylesheet" type="text/css" href="/css/style2.css" />
</head>

<body>
	<div class="NavBar">
		<ul>
		  <li><a href="/index.php/Users/ControleSysteme"> page de controle </a></li>
		  <li><a href="/index.php/Admin/GestionCodes"> page de gestion codes</a></li>
		  <li><a href="/index.php/Admin/Accueil"> page de Login</a></li>
		</ul>
	</div>
	<div class="CtnPorte">
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 1 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 25");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
						</td>
					</tr>
				</table>
			</div>
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 2 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 26");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
						</td>
					</tr>
				</table>
			</div>
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 3 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 27");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
						</td>
					</tr>
				</table>
			</div>
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 4 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 28");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?><commit_msg>modification de la valeur par default des portes<commit_after><html>

<head>
	<title>Garage à Denis</title>
	<link rel="stylesheet" type="text/css" href="/css/style2.css" />
</head>

<body>
	<div class="NavBar">
		<ul>
		  <li><a href="/index.php/Users/ControleSysteme"> page de controle </a></li>
		  <li><a href="/index.php/Admin/GestionCodes"> page de gestion codes</a></li>
		  <li><a href="/index.php/Admin/Accueil"> page de Login</a></li>
		</ul>
	</div>
	<div class="CtnPorte">
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 1 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 25");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
						</td>
					</tr>
				</table>
			</div>
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 2 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 26");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
						</td>
					</tr>
				</table>
			</div>
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 3 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 27");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input  type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
						</td>
					</tr>
				</table>
			</div>
			<div class="InfoPorte" align="center">
				<table>
					<tr>
						<td>
							Etat de la porte 4 : 
						</td>
						<td>
						<?php
								$porte = system ( "gpio read 28");
								if ($porte == "0") {
									?> 

									<div class="slideThree">	
										<input type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php  } else {
									?>  

									<div class="slideThree">	
										<input checked type="checkbox" value="None" id="slideThree" name="check" checked />
										<label for="slideThree"></label>
									</div>

									<?php
								}
								?>
{'fraction_non_alphanumeric': 0.17816965643052599, 'fraction_numerical': 0.005168744299179082, 'mean_word_length': 1.6711327649208283, 'pattern_counts': {'":': 0, '<': 227, '<?xml version=': 0, '>': 227, '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': '5296543', 'n_tokens_mistral': 3552, 'n_tokens_neox': 2133, 'n_words': 485}