Re: AsyncFile stdin

[Krux02]

> stdin does not have a file name in Linux?

I am sorry, but that is not correct. There is "/dev/stdin".