diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-07-05 00:23:36 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-07-05 00:23:36 -0400 |
commit | c5b55f1fe3aed3f39bf09564424eab4f895d6f56 (patch) | |
tree | 091ec91c5de0aecdcc1d23668a652f8fe9cb681c /gpsdctl.c | |
parent | 5af170931cdeb63d84ad584361601b0c182f3bca (diff) | |
download | gpsd-c5b55f1fe3aed3f39bf09564424eab4f895d6f56.tar.gz |
splint cleanup.
Diffstat (limited to 'gpsdctl.c')
-rw-r--r-- | gpsdctl.c | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -62,6 +62,7 @@ static int gpsd_control(char *action, char *argument) * gpsd.c. Be careful about keeping them in sync, or hotplugging * will have mysterious failures. */ + /*@ -sefparams @*/ if (strcmp(action, "add") == 0) { /* * Force the group-read & group-write bits on, so gpsd will still be @@ -79,6 +80,7 @@ static int gpsd_control(char *action, char *argument) ignore_return(write(connect, buf, strlen(buf))); ignore_return(read(connect, buf, 12)); } + /*@ +sefparams @*/ (void)close(connect); //syslog(LOG_DEBUG, "gpsd_control ends"); return 0; |