--- a/src/core/model/unix-fd-reader.cc	Sat Jul 09 03:22:59 2011 +0200
+++ a/src/core/model/unix-fd-reader.cc	Sun Jul 17 00:23:06 2011 +0200
@@ -172,6 +172,11 @@ 
             {
               char buf[1024];
               len = read (m_evpipe[0], buf, sizeof (buf));
+              if (m_stop)
+                {
+                  // this thread is done
+                  break;
+                }
               if (len == 0)
                 {
                   NS_FATAL_ERROR ("event pipe closed");