Development #32218
Jenkinsfile: améliorer l'usage de pg_virtualenv
Début:
11 avril 2019
Echéance:
% réalisé:
100%
Temps estimé:
Patch proposed:
Oui
Planning:
Description
Passe -o fsync=off pour gagner du temps et allouer un port vraiment aléatoire.
Fichiers
Révisions associées
Historique
Mis à jour par Benjamin Dauvergne il y a environ 5 ans
- Fichier 0001-jenkins.sh-use-fsync-off-and-allocate-a-port-manuall.patch 0001-jenkins.sh-use-fsync-off-and-allocate-a-port-manuall.patch ajouté
- Tracker changé de Support à Development
- Statut changé de Nouveau à Solution proposée
- Patch proposed changé de Non à Oui
En utilisant SO_LINGER pour ne pas bloquer le port après allocation via socket/bind/close.
Mis à jour par Benjamin Dauvergne il y a environ 5 ans
- Statut changé de Solution proposée à Résolu (à déployer)
commit 532e5b2066f3616e08a71a9c15bb0ed7d288b8df Author: Benjamin Dauvergne <bdauvergne@entrouvert.com> Date: Thu Apr 11 12:03:37 2019 +0200 jenkins.sh: use fsync=off and allocate a port manually for pg_virtualenv (fixes #32218)
Mis à jour par Benjamin Dauvergne il y a environ 5 ans
- % réalisé changé de 0 à 100
Appliqué par commit authentic2|532e5b2066f3616e08a71a9c15bb0ed7d288b8df.
Mis à jour par Frédéric Péters il y a environ 5 ans
- Statut changé de Résolu (à déployer) à Solution déployée
jenkins.sh: use fsync=off and allocate a port manually for pg_virtualenv (fixes #32218)