Lines Matching refs:file
7 Description: Gets character from file pointer
16 include ("file.inc");
18 echo "*** Testing fgetc() with file opened in write only mode ***\n";
27 echo "Error: failed to open file $filename!\n";
33 // rewind the file pointer to beginning of the file
38 // read from file
40 var_dump( ftell($file_handle) ); // ensure that file pointer position is not changed
41 var_dump( feof($file_handle) ); // check if end of file pointer is set
43 // close the file
46 // delete the file
53 *** Testing fgetc() with file opened in write only mode ***
59 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
68 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
77 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
86 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
95 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
104 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
113 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
122 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d
131 Notice: fgetc(): read of 8192 bytes failed with errno=9 Bad file descriptor in %s on line %d