Pouvoir changer le nombre de workers
Discuté avec @flothoni et @duez :
Ce n'est même pas dans defs.py
(c'est normal, passé au démarrage de web2py), mais à changer dans un script obscur et non documenté.
Par contre, à la volée, on fait ce qu'on veut en changeant la table.