diff options
author | Daniel Stenberg <daniel@haxx.se> | 2014-10-04 16:12:06 +0200 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2014-10-04 16:15:47 +0200 |
commit | 55678c6951b2d7d1b8a1b32208af9c03a2a7d426 (patch) | |
tree | 824963ef01f0d51d5e0cb9aaf2d620a77d9da539 | |
parent | 793ac8035c14c47d0cf8c138304e65478804ca74 (diff) |
getparameter: comment a switch FALLTHROUGH
Coverity CID 1061118. Point out that it is on purpose.
-rw-r--r-- | src/tool_getparam.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tool_getparam.c b/src/tool_getparam.c index 180878bab..cb5e23454 100644 --- a/src/tool_getparam.c +++ b/src/tool_getparam.c @@ -1762,6 +1762,7 @@ ParameterError getparameter(char *flag, /* f or -long-flag */ switch(*nextarg) { case '+': nextarg++; + /* FALLTHROUGH */ default: /* If-Modified-Since: (section 14.28 in RFC2068) */ config->timecond = CURL_TIMECOND_IFMODSINCE; |