os-unix: Actually call pthread_join() to avoid an infinite loop and 100% cpu usage...

diff --git a/vm/os-unix.cpp b/vm/os-unix.cpp
index 51b216f8448b085c65502223481e5b5129ac21df..fc996d1201925aca92bae86e21e60c98069fb077 100755 (executable)
--- a/vm/os-unix.cpp
+++ b/vm/os-unix.cpp
@@ -505,8 +505,10 @@ A Nvidia driver bug on Linux is the reason this has to be done, see:
 http://www.nvnews.net/vbulletin/showthread.php?t=164619 */
 void factor_vm::close_console()
 {
-       if (stdin_thread_initialized_p)
+       if (stdin_thread_initialized_p) {
                pthread_cancel(stdin_thread);
+               pthread_join(stdin_thread, 0);
+       }
 }
 
 void factor_vm::lock_console()