Database quotas

1 files changed, 7 insertions, 2 deletions

diff --git a/src/c/urweb.c b/src/c/urweb.c
index 27831011..79207abc 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -470,8 +470,6 @@ uw_context uw_init() {
   ctx->needs_push = 0;
   ctx->needs_sig = 0;
 
-  ctx->error_message[0] = 0;
-
   ctx->source_count = 0;
 
   ctx->n_deltas = ctx->used_deltas = 0;
@@ -702,6 +700,11 @@ char *uw_error_message(uw_context ctx) {
   return ctx->error_message;
 }
 
+void uw_set_error_message(uw_context ctx, const char *msg) {
+  strncpy(ctx->error_message, msg, sizeof(ctx->error_message));
+  ctx->error_message[sizeof(ctx->error_message)-1] = 0;
+}
+
 static input *INP(uw_context ctx) {
   if (ctx->cur_container == NULL)
     return ctx->inputs;
@@ -3359,3 +3362,5 @@ void uw_check_deadline(uw_context ctx) {
   if (uw_time > ctx->deadline)
     uw_error(ctx, FATAL, "Maximum running time exceeded");
 }
+
+size_t uw_database_max = SIZE_MAX;