From 09975eb013dae54e64a7d441cd0e086e65f3b81d Mon Sep 17 00:00:00 2001
From: "theo@manjaro" <ayte@tutanota.com>
Date: Wed, 15 Jun 2022 12:46:22 +0200
Subject: [PATCH] =?UTF-8?q?Ajout=20d'un=20ID=20g=C3=A9n=C3=A9r=C3=A9=20?=
 =?UTF-8?q?=C3=A0=20partir=20du=20nom=20de=20la=20salle?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 objects.py                | 18 ++++++++++++++++++
 templates/free-rooms.html |  2 +-
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/objects.py b/objects.py
index d3df48e..b6ca73a 100644
--- a/objects.py
+++ b/objects.py
@@ -15,6 +15,13 @@ Created on Sat May  7 17:29:11 2022
     l'Université de Strasbourg.
 """
 
+# Modules
+import random # Nécessaire pour la génération d'ID des salles
+
+# Constantes
+ID_CHARS = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ" # Caractères disponibles pour la création d'ID
+ID_LEN = 4 # Nombres de caractères composant l'ID
+
 
 ### Fichier contenant les classes des salles et des départements ###
 
@@ -44,6 +51,9 @@ class Room :
     
     count : int
          Compte le nombre d'occurences de la salle dans l'emploi du temps;
+
+    id : string
+        Identifiant 'unique' ( avec un très faible risque de collision ) de la salle ( généré à partir de son nom )
     """
     
     def __init__(self, name, start, end, is_free) :
@@ -51,6 +61,14 @@ class Room :
         self.start = start
         self.end = end
         self.is_free = is_free
+        self.id = self.getId(name)
+
+    def getId(self,name):
+        random.seed(name)
+        id = ""
+        for i in range(ID_LEN):
+            id+=random.choice(ID_CHARS)
+        return id # A peu près une chance sur 15 millions d'être unique, je considère ça viable
 
 
 class Dept :
diff --git a/templates/free-rooms.html b/templates/free-rooms.html
index d3d4dde..c754cd3 100644
--- a/templates/free-rooms.html
+++ b/templates/free-rooms.html
@@ -22,7 +22,7 @@
       <ul>
       {% for room in free_rooms : %}
       {% if room.is_free : %}
-        <dt>{{ room.name }}
+	  <dt>{{ room.name }}
       {% if not(room.end.hour == 23 and room.end.minute == 59 and room.end.second == 59) : %}
         <br><span class=details>Jusqu'à {{ frooms_disp[room.name]["end"] }} (dans {{ frooms_disp[room.name]["rtime"] }})</span>
       {% endif %}