search

TacOS-team / tacos

Système d'exploitation / Operating System
GNU General Public License v3.0
9 stars 4 forks source link

[XXX pipe.c:123] return 0; #184

Open NicolasFloquet opened 10 years ago

NicolasFloquet commented 10 years ago

J'imagine qu'il faut vérifier la validité de l'ofd et retourner un code d'erreur si la fermeture n'est pas possible

MaximeCheramy commented 10 years ago

Tant que les pipes ne sont pas terminés, c'est normal d'avoir des XXX restants... On va peut-être pas faire un ticket pour chaque XXX s'il y a un ticket déjà existant plus large qui existe. refs #77 et #147