classe de gestion d'un ensemble de pool d'identifiants pour les ENT se
reporter au Schéma Directeur des Espaces Numériques de Travail
http://www.educnet.education.fr/services/ent/sdet
|
|
|
load_pools(self)
initialise les pools d'identifiant depuis les données stockées en
base |
source code
|
|
|
get_pool(self,
code_ent=None)
renvoie les informations d'un pool (plages réservées et nombre
d'identifiants disponibles) code_ent: code ENT du pool à renvoyer
(tous si rien) |
source code
|
|
|
get_code_ent(self,
code_ent=None)
renvoie la liste des codes ent connus |
source code
|
|
|
|
|
cancel(self,
pool,
id_serveur,
ranges)
annule une réservation après un délai d'attente |
source code
|
|
|
|
|
store_range(self,
code_ent,
id_serveur,
pool,
ranges)
enregistre une plage réservée dans la base de données |
source code
|
|
|
reserve_range(self,
minid,
maxid)
Réservation manuelle d'une plage d'identifiant |
source code
|
|
|
send_interval(self,
serv,
ranges)
envoi d'un fichier indiquant l'intervalle réservé |
source code
|
|