diff include/urweb.h @ 1131:94e83c5533d2

Handling errors during commit
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 Jan 2010 14:59:19 -0500
parents e1cf925e2074
children b7118ffd32ae
line wrap: on
line diff
--- a/include/urweb.h	Tue Jan 26 09:04:55 2010 -0500
+++ b/include/urweb.h	Tue Jan 26 14:59:19 2010 -0500
@@ -42,7 +42,8 @@
 
 __attribute__((noreturn)) void uw_error(uw_context, failure_kind, const char *fmt, ...);
 char *uw_error_message(uw_context);
-void uw_set_error_message(uw_context, const char *);
+void uw_set_error_message(uw_context, const char *fmt, ...);
+int uw_has_error(uw_context);
 void uw_push_cleanup(uw_context, void (*func)(void *), void *arg);
 void uw_pop_cleanup(uw_context);