# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1430660413 14400
# Node ID 8ecbd110022764841b0f876a2235ae6d7f12a95a
# Parent  75c8f8e3f5d014c426d3f4cb44a033a0d1cc2d58
Set dummy header lookup function in static.c

diff -r 75c8f8e3f5d0 -r 8ecbd1100227 src/c/static.c
--- a/src/c/static.c	Fri Apr 24 10:01:56 2015 -0400
+++ b/src/c/static.c	Sun May 03 09:40:13 2015 -0400
@@ -16,6 +16,10 @@
 
 static uw_loggers loggers = {NULL, log_, log_};
 
+static char *get_header(void *data, const char *h) {
+  return NULL;
+}
+
 int main(int argc, char *argv[]) {
   uw_context ctx;
   failure_kind fk;
@@ -27,6 +31,7 @@
  
   ctx = uw_init(0, &loggers);
   uw_set_app(ctx, &uw_application);
+  uw_set_headers(ctx, get_header, NULL);
   uw_initialize(ctx);
 
   while (1) {