waitIDE() with timeout (ms)

Author: tangzx

emmy_core/emmy_facade.cpp

@@ -119,14 +119,17 @@ bool EmmyFacade::PipeConnect(lua_State* L, const std::string& name, std::string&
 	return suc;
 }
 
-void EmmyFacade::WaitIDE(bool force) {
+void EmmyFacade::WaitIDE(bool force, int timeout) {
 	if (transporter != nullptr
 		&& (transporter->IsServerMode() || force)
 		&& !isWaitingForIDE
 		&& !isIDEReady) {
 		isWaitingForIDE = true;
 		std::unique_lock<std::mutex> lock(waitIDEMutex);
-		waitIDECV.wait(lock);
+		if (timeout > 0)
+			waitIDECV.wait_for(lock, std::chrono::milliseconds(timeout));
+		else
+			waitIDECV.wait(lock);
 		isWaitingForIDE = false;
 	}
 }

emmy_core/emmy_facade.h

@@ -50,7 +50,7 @@ class EmmyFacade {
 	int BreakHere(lua_State* L);
 	int OnConnect(bool suc);
 	int OnDisconnect();
-	void WaitIDE(bool force = false);
+	void WaitIDE(bool force = false, int timeout = 0);
 	void OnReceiveMessage(const rapidjson::Document& document);
 	void OnBreak(lua_State* L);
 	void Destroy();