From 879572ee7e562ad93c111e1352f3b13bff2339f3 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 23 May 2014 15:12:47 -0700
Subject: [PATCH] fix(kernel/module): non-termination

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/module.cpp | 2 ++
 tests/lua/mod4.lua     | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 tests/lua/mod4.lua

diff --git a/src/library/module.cpp b/src/library/module.cpp
index 6505a9e24..743a89812 100644
--- a/src/library/module.cpp
+++ b/src/library/module.cpp
@@ -291,6 +291,8 @@ struct import_modules_fn {
     }
 
     void process_asynch_tasks() {
+        if (m_asynch_tasks.empty())
+            return;
         std::vector<std::unique_ptr<interruptible_thread>> extra_threads;
         std::vector<std::unique_ptr<exception>> thread_exceptions(m_num_threads - 1);
         for (unsigned i = 0; i < m_num_threads - 1; i++) {
diff --git a/tests/lua/mod4.lua b/tests/lua/mod4.lua
new file mode 100644
index 000000000..538a4709f
--- /dev/null
+++ b/tests/lua/mod4.lua
@@ -0,0 +1 @@
+local env = import_modules({})