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
53
54
55
56
57
58
59
60
61
62
63
64
|
/*-
* See the file LICENSE for redistribution information.
*
* Copyright (c) 1999-2002
* Sleepycat Software. All rights reserved.
*/
#include "db_config.h"
#ifndef lint
static const char revid[] = "$Id: os_errno.c,v 1.1.1.1 2003/11/20 22:13:37 toshok Exp $";
#endif /* not lint */
#include "db_int.h"
/*
* __os_get_errno_ret_zero --
* Return the value of errno, even if it's zero.
*
* PUBLIC: int __os_get_errno_ret_zero __P((void));
*/
int
__os_get_errno_ret_zero()
{
/* This routine must be able to return the same value repeatedly. */
return (errno);
}
/*
* __os_get_errno --
* Return the value of errno, or EAGAIN if errno is zero.
*
* PUBLIC: int __os_get_errno __P((void));
*/
int
__os_get_errno()
{
/*
* This routine must be able to return the same value repeatedly.
*
* We've seen cases where system calls failed but errno was never set.
* This version of __os_get_errno() sets errno to EAGAIN if it's not
* already set, to work around that problem. For obvious reasons, we
* can only call this function if we know an error has occurred, that
* is, we can't test errno for a non-zero value after this call.
*/
if (errno == 0)
__os_set_errno(EAGAIN);
return (errno);
}
/*
* __os_set_errno --
* Set the value of errno.
*
* PUBLIC: void __os_set_errno __P((int));
*/
void
__os_set_errno(evalue)
int evalue;
{
errno = evalue;
}
|
