Mercurial > urweb
diff src/c/urweb.c @ 2241:2b1af5dc6dee
Merge.
author | Ziv Scully <ziv@mit.edu> |
---|---|
date | Sun, 19 Jul 2015 19:05:16 -0700 |
parents | 88cc0f44c940 4895c41b2ec6 |
children | c05851bf7861 |
line wrap: on
line diff
--- a/src/c/urweb.c Sun Jul 19 19:03:11 2015 -0700 +++ b/src/c/urweb.c Sun Jul 19 19:05:16 2015 -0700 @@ -4235,7 +4235,10 @@ 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; }