Ajout d'un ID généré à partir du nom de la salle

This commit is contained in:
theo@manjaro 2022-06-15 12:46:22 +02:00
parent daf489a450
commit 09975eb013
2 changed files with 19 additions and 1 deletions

View File

@ -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 :

View File

@ -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 %}