diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-05-10 12:13:12 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-05-10 12:13:12 -0400 |
| commit | 51b0b40ce02c56b2dd53191b32cd55c6ce22a92f (patch) | |
| tree | a5194c2aec19f3de776bc4092658fc39691f84e3 /src/c | |
| parent | 76b49fdd7b11d1e14650e075df11edbee1dca44b (diff) | |
Make naughtyDebug use protocol-specific logging
Diffstat (limited to 'src/c')
| -rw-r--r-- | src/c/urweb.c | 5 |
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; } |