diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2017-08-08 10:02:26 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-08-08 10:02:26 -0400 |
commit | e58c6fdacf972578a649ddc7e43fa984a67ffcb9 (patch) | |
tree | 8a5c266edf75f960411548a01c6c43dc6fcd10db /src/c/http.c | |
parent | 53dbce6998e78ddcb05693c7efdca101075941b0 (diff) | |
parent | 2d61ba018a61cc89348a46df972e8dd4f1285ee7 (diff) |
Merge pull request #84 from bbarenblat/master
Clean up some warning flags
Diffstat (limited to 'src/c/http.c')
-rw-r--r-- | src/c/http.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/c/http.c b/src/c/http.c index 21ad809f..72685508 100644 --- a/src/c/http.c +++ b/src/c/http.c @@ -46,6 +46,7 @@ static char *get_header(void *data, const char *h) { } static char *get_env(void *data, const char *name) { + (void)data; return getenv(name); } @@ -58,6 +59,8 @@ static void on_failure(uw_context ctx) { } static void log_error(void *data, const char *fmt, ...) { + (void)data; + va_list ap; va_start(ap, fmt); @@ -65,6 +68,8 @@ static void log_error(void *data, const char *fmt, ...) { } static void log_debug(void *data, const char *fmt, ...) { + (void)data; + if (!quiet) { va_list ap; va_start(ap, fmt); @@ -332,6 +337,7 @@ static void help(char *cmd) { } static void sigint(int signum) { + (void)signum; printf("Exiting....\n"); exit(0); } @@ -542,12 +548,17 @@ void *uw_init_client_data() { } void uw_free_client_data(void *data) { + (void)data; } void uw_copy_client_data(void *dst, void *src) { + (void)dst; + (void)src; } void uw_do_expunge(uw_context ctx, uw_Basis_client cli, void *data) { + (void)data; + uw_ensure_transaction(ctx); uw_get_app(ctx)->expunger(ctx, cli); @@ -556,6 +567,8 @@ void uw_do_expunge(uw_context ctx, uw_Basis_client cli, void *data) { } void uw_post_expunge(uw_context ctx, void *data) { + (void)ctx; + (void)data; } int uw_supports_direct_status = 1; |