# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1431274392 14400
# Node ID 4895c41b2ec62cb63c5a029fb9bd39fb496e4d95
# Parent  3288e3c9948bb93441325f0ae4cdb7874e634266
Make naughtyDebug use protocol-specific logging

diff -r 3288e3c9948b -r 4895c41b2ec6 src/c/urweb.c
--- a/src/c/urweb.c	Mon May 04 14:35:07 2015 -0400
+++ b/src/c/urweb.c	Sun May 10 12:13:12 2015 -0400
@@ -4220,7 +4220,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;
 }