blob: 0c6bb44b70530de91773e6ccf26f75ccb37e2cd2 (
plain)
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
%
% (c) The GRASP/AQUA Project, Glasgow University, 1994
%
\subsection[getBufferMode.lc]{hIs...Buffered Runtime Support}
\begin{code}
#include "rtsdefs.h"
#include "stgio.h"
#ifdef HAVE_SYS_TYPES_H
#include <sys/types.h>
#endif
#ifdef HAVE_SYS_STAT_H
#include <sys/stat.h>
#endif
/*
* We try to guess what the default buffer mode is going to be based
* on the type of file we're attached to.
*/
#define GBM_NB (0)
#define GBM_LB (-1)
#define GBM_BB (-2)
#define GBM_ERR (-3)
StgInt
getBufferMode(fp)
StgAddr fp;
{
struct stat sb;
/* Try to find out the file type */
while (fstat(fileno((FILE *) fp), &sb) < 0) {
/* highly unlikely */
if (errno != EINTR) {
cvtErrno();
stdErrno();
return GBM_ERR;
}
}
/* Terminals are line-buffered by default */
if (S_ISCHR(sb.st_mode) && isatty(fileno((FILE *) fp)) == 1)
return GBM_LB;
/* Default size block buffering for the others */
else
return GBM_BB;
}
\end{code}
|
