--- rpl/LIMITATIONS	2012/10/09 15:27:45	1.93
+++ rpl/LIMITATIONS	2013/03/06 13:21:23	1.105
@@ -1,14 +1,14 @@
 RESTRICTIONS
 	Only formatted and flow files are supported.
 
+Mettre un sémaphore pour sem_wait_SysV() (post dans le gestionnaire de signaux,
+transformer le semop en non bloquant).
+
+Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
+
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
 SOCKET NON FORMATÉS
 
-Coller envoi_signal_processus() dans un thread dédié avec un pipe entre
-le gestionnaire de signal et ce thread. À la fin de l'exécution de ce thread
-(donc après avoir mis en place ce qu'il faut pour les rpl_signaux), on
-envoie un raise(SIGALRM)
-
 Pour OpenVMS :
 Trouver les includes pour :
 syslog.h
@@ -26,8 +26,6 @@ avec un trylock()).
 
 rplss signal processus
 
-Rajouter le format dans formateur_flux() (pour les fichiers de type flow).
-
 Économisons notre mépris eut égard au nombre de nécessiteux.
 Chateaubriand.