diff include/urweb.h @ 1118:87b0a9d08e73

uw_close()
author Adam Chlipala <adamc@hcoop.net>
date Tue, 05 Jan 2010 14:57:35 -0500
parents 150465f2895c
children 951fced704d6
line wrap: on
line diff
--- 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);