# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1262721455 18000
# Node ID 87b0a9d08e731a0c57018d81aefbb793be92c5fc
# Parent  31ef567fa772dc122360408d68595126bcc0de54
uw_close()

diff -r 31ef567fa772 -r 87b0a9d08e73 include/urweb.h
--- a/include/urweb.h	Tue Jan 05 13:30:27 2010 -0500
+++ b/include/urweb.h	Tue Jan 05 14:57:35 2010 -0500
@@ -21,6 +21,7 @@
 failure_kind uw_initialize(uw_context);
 
 uw_context uw_init(void);
+void uw_close(uw_context);
 int uw_set_app(uw_context, uw_app*);
 void uw_set_db(uw_context, void*);
 void *uw_get_db(uw_context);
diff -r 31ef567fa772 -r 87b0a9d08e73 src/c/urweb.c
--- a/src/c/urweb.c	Tue Jan 05 13:30:27 2010 -0500
+++ b/src/c/urweb.c	Tue Jan 05 14:57:35 2010 -0500
@@ -578,6 +578,10 @@
   return r;
 }
 
+void uw_close(uw_context ctx) {
+  ctx->app->db_close(ctx);
+}
+
 void uw_set_headers(uw_context ctx, char *(*get_header)(void *, const char *), void *get_header_data) {
   ctx->get_header = get_header;
   ctx->get_header_data = get_header_data;