From 4d186e24e44fe07f04708c2dc38387534c02c7fd Mon Sep 17 00:00:00 2001
From: Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de>
Date: Sat, 12 Oct 2013 13:41:47 +0200
Subject: Stop browser when last document ends

---
 apps/uscxml-browser.cpp | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/apps/uscxml-browser.cpp b/apps/uscxml-browser.cpp
index 566f6bc..e6869c4 100644
--- a/apps/uscxml-browser.cpp
+++ b/apps/uscxml-browser.cpp
@@ -179,12 +179,17 @@ int main(int argc, char** argv) {
 		interpreterIter++;
 	}
 
+	bool stillRunning = true;
 	// call from main thread for UI events
 	while(interpreters.size() > 0) {
 		interpreterIter = interpreters.begin();
 		while(interpreterIter != interpreters.end()) {
-			interpreterIter->runOnMainThread(25);
-			interpreterIter++;
+			stillRunning = interpreterIter->runOnMainThread(25);
+			if (stillRunning) {
+				interpreters.erase(interpreterIter++);
+			} else {
+				interpreterIter++;
+			}
 		}
 	}
 	
-- 
cgit v0.12