-
Jehan authored
As noted in bug 793494, my naming was unfortunate. A FILE pointer is not a file descriptor (which is why we use fileno() on it).
9e8e321d
As noted in bug 793494, my naming was unfortunate. A FILE pointer is not a file descriptor (which is why we use fileno() on it).