access the stdin of the parent process in a pipeline

[Peng Yu]

Hi,

The following code works.

$ seq 3 | awk -e 'BEGIN { while(getline < "/dev/stdin") print } {
print }' <(seq 4)
1
2
3
1
2
3
4

But the following won't take the data from the stdin of function f.

$ function f { seq 3 | awk -e 'BEGIN { while(getline < "/dev/stdin")
print } { print }' /dev/stdin; }
$ seq 4 | f
1
2
3

What is the correct way to access the parent process stdin in a
pipeline? Thanks.

-- 
Regards,
Peng