From 21deb45728679baae03fe34fd3fa3819a3e7ae8e Mon Sep 17 00:00:00 2001
From: Peli de Halleux <pelikhan@users.noreply.github.com>
Date: Mon, 29 Jan 2018 13:26:31 -0800
Subject: [PATCH] fixing release fiber

---
 libs/core/linux.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/libs/core/linux.cpp b/libs/core/linux.cpp
index 24f69d5b..22ab7aa3 100644
--- a/libs/core/linux.cpp
+++ b/libs/core/linux.cpp
@@ -272,7 +272,8 @@ void setupThread(Action a, TValue arg = 0, void (*runner)(Thread *) = NULL, TVal
 }
 
 void releaseFiber() {
-    // called from main in pxt.cpp
+    stopUser();
+    pthread_exit(NULL);
 }
 
 void runInParallel(Action a) {