est-il possible de savoir si une erreur de dépassement de temps
d'execution a eu lieu pendant un exec() (outre l'error_reporting qui
sera désactivé) et de reprendre l'execution ?
Cet exec va produire un fichier mais, malheureusement, si le script PHP
est interrompu, le fichier ne sera pas vide : je ne peux donc pas faire
de vérification en fonction de l'existence et la taille de ce fichier.
