summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-05-10 12:13:12 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2015-05-10 12:13:12 -0400
commit51b0b40ce02c56b2dd53191b32cd55c6ce22a92f (patch)
treea5194c2aec19f3de776bc4092658fc39691f84e3
parent76b49fdd7b11d1e14650e075df11edbee1dca44b (diff)
Make naughtyDebug use protocol-specific logging
-rw-r--r--src/c/urweb.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 7ad58e1d..1e49dae0 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -4220,7 +4220,10 @@ 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);
+ if (ctx->loggers->log_debug)
+ ctx->loggers->log_debug(ctx->loggers->logger_data, "%s\n", s);
+ else
+ fprintf(stderr, "%s\n", s);
return 0;
}