Skip to content

Instantly share code, notes, and snippets.

View aurelienshz's full-sized avatar

Aurélien Schiltz aurelienshz

675 followers · 17 following
  • France
View GitHub Profile
@aurelienshz
aurelienshz / example.rb
Last active January 21, 2019 01:30
Generic DB-backed mutex for Rails (from https://makandracards.com/makandra/1026-simple-database-lock-for-mysql)
# Bad example: we should be locking the User record:
user = User.find_by(foo: 'bar')
Lock.acquire("perform-action-user-#{user.id}") do
user.expand_snibbit!
end
# ...but it gets useful if there's no other way the mutex can be managed
Lock.acquire("non-mutexable-resource") do
NonMutexableResource.reduce_foobar!
end
@aurelienshz
aurelienshz / Robot.vhd
Created April 7, 2016 20:50
library ieee;
use ieee.std_logic_1164.all;
use ieee.std_logic_arith.all;
use ieee.std_logic_unsigned.all;
ENTITY Robot IS
PORT(
-- Horloge, entrées :
clk, reset, whistle1, whistle2, SW0 :IN std_logic;
-- LED
@aurelienshz
aurelienshz / accueil_non_connecte.php
Created November 27, 2015 13:31
Vue/accueil_non_connecté
<?php
$titre = 'Accueil non connecté | Mon site';
$entete = entete("Mon site / Accueil non connecté");
$menu = formulaire();
$contenu = "Accueil non connecté [...]";
$pied = pied();
include 'gabarit.php';
?>
@aurelienshz
aurelienshz / utilisateurs.php
Created November 26, 2015 12:25
APPMVC ~ Modele ~ utilisateurs.php
<?php
require("connexion.php");
// fonction qui cherche le mot de passe d'un utilisateur avec un identifiant dans la base de données
function mdp($db,$identifiant){
$reponse = $db->query('SELECT id, mdp FROM Utilisateurs WHERE identifiant="'.$identifiant.'"');
return $reponse;
}
// fonction qui cherche le mot de passe d'un utilisateur avec un identifiant dans la base de données
@aurelienshz
aurelienshz / gabarit.php
Last active November 26, 2015 12:01
APPMVC ~ gabarit.php
<!DOCTYPE html>
<html>
<head>
[...]
<title><?php echo($titre); ?></title>
</head>
<div id="global">
<div id="tete"><?php echo($entete); ?></div>
<hr/>
<div id="corps">
@aurelienshz
aurelienshz / index.php
Last active November 26, 2015 11:45
APPMVC ~ index.php
<?php
// index.php
if(!isset($_SESSION["userID"])){ // L'utilisateur n'est pas connecté
include("Controleur/connexion.php"); // On utilise un controleur secondaire pour éviter d'avoir un fichier index.php trop gros
}
else { // L'utilisateur est connecté
if(isset($_GET['cible'])) { // on le dirige vers la page où il veut aller
switch($_GET['cible']) {
case 'accueil':
include("Vue/accueil.php");