From 0a6881430f040ea3ce91910754b611a7b050a4c4 Mon Sep 17 00:00:00 2001
From: David Rose <david@ddrose.com>
Date: Wed, 14 Oct 2009 22:03:17 +0000
Subject: [PATCH] close down when x11 splash is closed

---
 direct/src/plugin/p3dX11SplashWindow.cxx | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/direct/src/plugin/p3dX11SplashWindow.cxx b/direct/src/plugin/p3dX11SplashWindow.cxx
index abef268726..12e7248b5c 100755
--- a/direct/src/plugin/p3dX11SplashWindow.cxx
+++ b/direct/src/plugin/p3dX11SplashWindow.cxx
@@ -439,7 +439,10 @@ rt_thread_run() {
   while (true) {
     TiXmlDocument *doc = read_xml(_pipe_read, nout);
     if (doc == NULL) {
-      // Some error on reading.
+      // Some error on reading.  The splash window must have gone
+      // away, e.g. because the user explicitly closed it; tell the
+      // instance to exit.
+      _inst->request_stop_sub_thread();
       return;
     }