summaryrefslogtreecommitdiff
path: root/gpsd.c
diff options
context:
space:
mode:
authorEric S. Raymond <esr@thyrsus.com>2007-12-05 20:49:53 +0000
committerEric S. Raymond <esr@thyrsus.com>2007-12-05 20:49:53 +0000
commitf2643ad182d6dea3835a842b6140b0102cc8f14a (patch)
tree46c0b87dbfd597d8c83c782a6e6b2b7273e3c0bb /gpsd.c
parent237a41170241cfb23d1a2505a38010a7c3ab2800 (diff)
downloadgpsd-f2643ad182d6dea3835a842b6140b0102cc8f14a.tar.gz
More splint cleanup.
Diffstat (limited to 'gpsd.c')
-rw-r--r--gpsd.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/gpsd.c b/gpsd.c
index e9004fd3..ce7707d7 100644
--- a/gpsd.c
+++ b/gpsd.c
@@ -236,10 +236,10 @@ static int passivesock(char *service, char *protocol, int qlen)
ppe = getprotobyname(protocol);
if (strcmp(protocol, "udp") == 0) {
type = SOCK_DGRAM;
- /*@i1@*/proto = (ppe) ? ppe->p_proto : IPPROTO_UDP;
+ /*@i@*/proto = (ppe) ? ppe->p_proto : IPPROTO_UDP;
} else {
type = SOCK_STREAM;
- /*@i1@*/proto = (ppe) ? ppe->p_proto : IPPROTO_TCP;
+ /*@i@*/proto = (ppe) ? ppe->p_proto : IPPROTO_TCP;
}
if ((s = socket(PF_INET, type, /*@i1@*/proto)) < 0) {
gpsd_report(LOG_ERROR, "Can't create socket\n");