Skip to content

Instantly share code, notes, and snippets.

@ik5
Created October 24, 2021 16:40

Revisions

  1. ik5 created this gist Oct 24, 2021.
    9 changes: 9 additions & 0 deletions read_stdin.php
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,9 @@
    <?php


    while (!feof(STDIN)) {
    $f = fgets(STDIN);
    if ($f) {
    echo ">> $f\n";
    }
    }