Merci. J'ai tenté de rapporter le problème sur bugs.php.net en mettant ta pull request en lien.
Je n'ai pas trouvé PHP 7.1.2 dans la liste déroulante alors j'ai mis 7.1.2RC1.

J'ai signalé qu'on aimerait bien une vérification de la valeur ENOSYS de errno après l'appel système sur la page github du patch en question.

Merci, c'est peut-être justement lié à ceci :

Fix check for linux getrandom syscall
https://github.com/php/php-src/commit/1 ... e0918ccc5d

Bonjour et merci, L'architecture c'est une machine virtuelle chez Gandi, noyau 3.10.103-xenU-33-adcc8c8-x86_64. Donc c'est pas tout récent ;-( Php était lancé via le démon php-fpm, mais comme ça plantait bien, j'ai lancé le test depuis une console. php <<< "<?php echo random_int(0,200);" d...

Bonjour, je rencontre le même soucis sur une VM que ces gens : https://archlinuxarm.org/forum/viewtopic.php?t=11321&p=54711 , alors que sur mon bureau la mise à jour s'est bien passée. Après quelques recherches, j'ai bien vérifié l'accès à /dev/urandom depuis PHP. Pour isoler le soucis, ce simpl...

Encore mieux, https://www.gandi.net m'informe :

les images ArchLinux 32bits et 64bits sont disponibles sur les DC Fr et US depuis jeudi 15

Bonjour,

Comme j'aime autant Archlinux que Gandi, j'ai écrit un petit tutoriel sans prétention pour expliquer comment installer Archlinux sur un serveur chez Gandi.

http://bruno.ahennezel.info/Archlinux-s ... r-Gandi-en

Toute remarque est la bienvenue : bruno+archlinux (at) ahennezel.info