summaryrefslogtreecommitdiff
path: root/src/c
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-11 18:04:52 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-11 18:04:52 -0500
commit4eb2a196fa24d52462f3f325d73952fe2d1c12cd (patch)
tree5e3b768a97aef4741f8ba13b7b6d80490fe39b12 /src/c
parent138f64b8f02f05e6073f61b1db2c3d5e805b75c0 (diff)
Some more string parsing functions; naughtyDebug
Diffstat (limited to 'src/c')
-rw-r--r--src/c/urweb.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 0b4054e9..7e62d571 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -1176,7 +1176,7 @@ static void uw_buffer_check_ctx(uw_context ctx, const char *kind, uw_buffer *b,
if (new_heap != b->start) {
b->start = new_heap;
- uw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new %s contiguously", desc);
+ uw_error(ctx, UNLIMITED_RETRY, "Couldn't allocate new %s contiguously; increasing size to %llu", desc, (unsigned long long)next);
}
b->start = new_heap;
@@ -3602,6 +3602,11 @@ void uw_check_deadline(uw_context ctx) {
size_t uw_database_max = SIZE_MAX;
+uw_Basis_int uw_Basis_naughtyDebug(uw_context ctx, uw_Basis_string s) {
+ fprintf(stderr, "%s\n", s);
+ return 0;
+}
+
uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) {
if (ctx->log_debug)
ctx->log_debug(ctx->logger_data, "%s\n", s);