1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
#include <stdio.h>
/*
* The main program will open this file if -S is on
* the command line.
*/
FILE *save_file = NULL;
/********************************************************
* extended_fgets -- get a line from the input file *
* and record it in a save file if needed. *
* *
* Parameters *
* line -- the line to read *
* size -- sizeof(line) -- maximum number of *
* characters to read *
* file -- file to read data from *
* (normally stdin) *
* *
* Returns *
* NULL -- error or end of file in read *
* otherwise line (just like fgets) *
********************************************************/
char *extended_fgets(char *line, int size, FILE *file)
{
char *result; /* result of fgets */
result = fgets(line, size, file);
/* did someone ask for a save file */
if (save_file != NULL)
(void)fputs(line, save_file);
return (result);
}
|
