https://www.html.it/script/manipolazione-output-php-con-named-pipe-buffer/