diff options
Diffstat (limited to 'ports/unix/main.c')
-rw-r--r-- | ports/unix/main.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c index 9147feb32d..fcf8b1558c 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -64,7 +64,9 @@ long heap_size = 1024*1024 * (sizeof(mp_uint_t) / 4); STATIC void stderr_print_strn(void *env, const char *str, size_t len) { (void)env; + MP_THREAD_GIL_EXIT(); ssize_t dummy = write(STDERR_FILENO, str, len); + MP_THREAD_GIL_ENTER(); mp_uos_dupterm_tx_strn(str, len); (void)dummy; } |