diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2006-10-31 16:26:19 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2006-10-31 16:26:19 +0000 |
commit | 7dc2d5fbc101ca87acd367041e7c1420c5762c52 (patch) | |
tree | bbb335c77cd76b750614ae931c7d0ed23fe00d14 | |
parent | 297cf421a91438343242fb23e5c6a0956b588267 (diff) | |
download | gpsd-7dc2d5fbc101ca87acd367041e7c1420c5762c52.tar.gz |
splint cleanup.
-rw-r--r-- | gpsd.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -377,7 +377,7 @@ static /*@null@*/ /*@observer@*/ struct subscriber_t* allocate_client(void) return NULL; } -static void detach_client(/*@only@*/ /*@out@*/struct subscriber_t *sub) +static void detach_client(struct subscriber_t *sub) { (void)close(sub->fd); gpsd_report(4, "detaching %d in detach_client\n", sub_index(sub)); @@ -386,7 +386,7 @@ static void detach_client(/*@only@*/ /*@out@*/struct subscriber_t *sub) sub->raw = 0; sub->watcher = false; sub->active = 0; - sub->device = NULL; + /*@i1@*/sub->device = NULL; sub->buffer_policy = casoc; sub->fd = -1; } |