ROZWIĄZANE PHP 7.1 - kiedy?

Nie, ta komenda nie działa:

Kod:

$ echo "<?php echo 'hello world';" > skrypt.php && php71-cli skrypt.php
Fri Sep  8 16:01:20 2017 (10505): Fatal Error Unable to create lock file: Bad file descriptor (9)
$ php71-cli skrypt.php
Fri Sep  8 16:01:55 2017 (10693): Fatal Error Unable to create lock file: Bad file descriptor (9)
$ cat skrypt.php
<?php echo 'hello world';

Szkoda, że to nawet nie ma zwiazku z kompozerem. Tak więc proszę o podanie poprawnej, lub naprawienie tego na serwerze (jakieś dane muszę podać?).

PS jak ktoś mi napisze, że skrypt php trzeba kończyć ?>, to (╯°□°)╯︵ ┻━┻

 

@xandros informuję, że rozwiązaliśmy wskazany przez Ciebie błąd. Wrzuciliśmy łatkę ze zmianami do naszego systemu, która teraz się rozchodzi po innych maszynach w naszej sieci. Dodatkowo na szybko przerzuciliśmy nowy plik konfiguracyjny dla tej wersji PHP, aby cli już poprawnie funkcjonowało na Twoim serwerze. Przepraszam, że tak długo to trwało oraz za nieporozumienie podczas identyfikacji problemu w pierwszych postach. Proszę o weryfikację.

 

Skrypty wykonują się w porządku. php version zwraca poprawną wartość:

Kod:

$ php71-cli -v
PHP 7.1.5 (cli) (built: Jul 13 2017 13:11:31) ( NTS )
Copyright (c) 1997-2017 The PHP Group
Zend Engine v3.1.0, Copyright (c) 1998-2017 Zend Technologies
    with Zend OPcache v7.1.5, Copyright (c) 1999-2017, by Zend Technologies

Dziękuje za poświęcony czas.