From f64e806f50606902323c62cf7b479922724022b6 Mon Sep 17 00:00:00 2001
From: Erik Moqvist <erik.moqvist@gmail.com>
Date: Sun, 16 Oct 2016 16:40:56 +0200
Subject: [PATCH] lib/utils/pyhelp.c: Use mp_printf() instead of printf()

This patch introduces MP_PYTHON_PRINTER for general use.
---
 lib/utils/pyhelp.c | 10 +++++-----
 py/mpprint.h       |  6 ++++++
 2 files changed, 11 insertions(+), 5 deletions(-)

diff --git a/lib/utils/pyhelp.c b/lib/utils/pyhelp.c
index 5c0b2c57b7..30ff391c4b 100644
--- a/lib/utils/pyhelp.c
+++ b/lib/utils/pyhelp.c
@@ -29,11 +29,11 @@
 #include "lib/utils/pyhelp.h"
 
 STATIC void pyhelp_print_info_about_object(mp_obj_t name_o, mp_obj_t value) {
-    printf("  ");
+    mp_printf(MP_PYTHON_PRINTER, "  ");
     mp_obj_print(name_o, PRINT_STR);
-    printf(" -- ");
+    mp_printf(MP_PYTHON_PRINTER, " -- ");
     mp_obj_print(value, PRINT_STR);
-    printf("\n");
+    mp_printf(MP_PYTHON_PRINTER, "\n");
 }
 
 // Helper for 1-argument form of builtin help
@@ -57,9 +57,9 @@ STATIC void pyhelp_print_info_about_object(mp_obj_t name_o, mp_obj_t value) {
 //
 void pyhelp_print_obj(const mp_obj_t obj) {
     // try to print something sensible about the given object
-    printf("object ");
+    mp_printf(MP_PYTHON_PRINTER, "object ");
     mp_obj_print(obj, PRINT_STR);
-    printf(" is of type %s\n", mp_obj_get_type_str(obj));
+    mp_printf(MP_PYTHON_PRINTER, " is of type %s\n", mp_obj_get_type_str(obj));
 
     mp_map_t *map = NULL;
     if (MP_OBJ_IS_TYPE(obj, &mp_type_module)) {
diff --git a/py/mpprint.h b/py/mpprint.h
index 6e47409ecc..f9204e322d 100644
--- a/py/mpprint.h
+++ b/py/mpprint.h
@@ -39,6 +39,12 @@
 #define PF_FLAG_ADD_PERCENT       (0x100)
 #define PF_FLAG_SHOW_OCTAL_LETTER (0x200)
 
+#if MICROPY_PY_IO
+#    define MP_PYTHON_PRINTER &mp_sys_stdout_print
+#else
+#    define MP_PYTHON_PRINTER &mp_plat_print
+#endif
+
 typedef void (*mp_print_strn_t)(void *data, const char *str, size_t len);
 
 typedef struct _mp_print_t {