diff options
author | Ziv Scully <ziv@mit.edu> | 2015-07-19 19:05:16 -0700 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-07-19 19:05:16 -0700 |
commit | a197d648e075a696f5ca86b23913b668f2baf940 (patch) | |
tree | 4c044e00c2df8ca6fd76d072f05bf1e3ff202140 /src/c/urweb.c | |
parent | bc38beafd07b7ae6106a2fffda82084a08af7f06 (diff) | |
parent | c6e4d352f01eff2ddcdcc53c0f2a14666c2af8b2 (diff) |
Merge.
Diffstat (limited to 'src/c/urweb.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 3993448b..faef4d3a 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -4235,7 +4235,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; } |