comparison 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
comparison
equal deleted inserted replaced
2240:88cc0f44c940 2241:2b1af5dc6dee
4233 } 4233 }
4234 4234
4235 size_t uw_database_max = SIZE_MAX; 4235 size_t uw_database_max = SIZE_MAX;
4236 4236
4237 uw_Basis_int uw_Basis_naughtyDebug(uw_context ctx, uw_Basis_string s) { 4237 uw_Basis_int uw_Basis_naughtyDebug(uw_context ctx, uw_Basis_string s) {
4238 fprintf(stderr, "%s\n", s); 4238 if (ctx->loggers->log_debug)
4239 ctx->loggers->log_debug(ctx->loggers->logger_data, "%s\n", s);
4240 else
4241 fprintf(stderr, "%s\n", s);
4239 return 0; 4242 return 0;
4240 } 4243 }
4241 4244
4242 uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) { 4245 uw_Basis_unit uw_Basis_debug(uw_context ctx, uw_Basis_string s) {
4243 if (ctx->loggers->log_debug) 4246 if (ctx->loggers->log_debug)