Searched refs:p_bookmark (Results 1 – 1 of 1) sorted by relevance
80 FILE *p_bookmark; /* pointer to afile */ local115 p_bookmark = fopen(afile, "r");116 if (p_bookmark != NULL) {118 i = fscanf(p_bookmark, "%hd", &acount);119 (void) fclose(p_bookmark);155 p_bookmark = fopen(afile, "w"); /* update bookmark file */156 if (p_bookmark == NULL)160 (void) fprintf(p_bookmark, "%d", acount);161 (void) fclose(p_bookmark);