Lines Matching refs:file
7 Description: Gets a line from file pointer
15 include ("file.inc");
17 echo "*** Testing fgets() with file opened in write only mode ***\n";
26 echo "Error: failed to open file $filename!\n";
32 // rewind the file pointer to beginning of the file
37 // read from file
39 var_dump( ftell($file_handle) ); // ensure that file pointer position is not changed
40 var_dump( feof($file_handle) ); // check if end of file pointer is set
42 // close the file
45 // delete the file
52 *** Testing fgets() with file opened in write only mode ***
58 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
67 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
76 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
85 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
94 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
103 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
112 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
121 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
130 Notice: fgets(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d