Utilité du TIMEOUT ?
Discuté hier avec Marc, à l'occasion d'un TIMEOUT sur un job de M. Diop (à 16:45)
Vidjil a duré 2h05... s'est bien terminé (derniers fichiers écrits à 16:50). Bref, on ne dirait pas que le TIMEOUT tue les fils, mais juste libère le worker (et donc ici n'a pas lancé le fuse à la suite). -> le plus logique serait de tuer les fils -> ou, sinon, ... enlever le TIMEOUT....
(au passage, il vaut 4 heures désormaix sur rbx)
@nobody
To upload designs, you'll need to enable LFS and have admin enable hashed storage. More information