Merge pull request #620 from sztupy/android_campaing_fix

Add support for the Android App to notify if the server has been closed

client/Client.cpp

@@ -646,6 +646,14 @@ PlayerColor CClient::getLocalPlayer() const
 }
 
 #ifdef VCMI_ANDROID
+extern "C" JNIEXPORT void JNICALL Java_eu_vcmi_vcmi_NativeMethods_notifyServerClosed(JNIEnv * env, jobject cls)
+{
+	logNetwork->info("Received server closed signal");
+	if (CSH) {
+		CSH->campaignServerRestartLock.setn(false);
+	}
+}
+
 extern "C" JNIEXPORT void JNICALL Java_eu_vcmi_vcmi_NativeMethods_notifyServerReady(JNIEnv * env, jobject cls)
 {
 	logNetwork->info("Received server ready signal");