Make it easier to quit on Android

* src/android.c (android_write_event):
(JNICALL): Raise SIGIO on key press and window action events.

diff --git a/src/android.c b/src/android.c
index 0244113285ba491fa62553158706e98b6b0c832f..129ad6b576718252ba8038412956bb9e18f3b466 100644 (file)
--- a/src/android.c
+++ b/src/android.c
@@ -669,9 +669,23 @@ android_write_event (union android_event *event)
   pthread_cond_broadcast (&event_queue.read_var);
   pthread_mutex_unlock (&event_queue.mutex);
 
-  /* Now set pending_signals to true.  This allows C-g to be handled
-     immediately even without SIGIO.  */
+  /* Now set pending_signals to true, and raise SIGIO to interrupt any
+     ongoing reads if the event is important.  */
   pending_signals = true;
+
+  switch (event->type)
+    {
+      /* Key press and window action events are considered important,
+        as they either end up quitting or asking for responses to the
+        IME.  */
+    case ANDROID_KEY_PRESS:
+    case ANDROID_WINDOW_ACTION:
+      raise (SIGIO);
+      break;
+
+    default:
+      break;
+    }
 }
 
 int
@@ -2480,7 +2494,10 @@ NATIVE_NAME (quit) (JNIEnv *env, jobject object)
 {
   JNI_STACK_ALIGNMENT_PROLOGUE;
 
+  /* Raise sigio to interrupt anything that could be reading
+     input.  */
   Vquit_flag = Qt;
+  raise (SIGIO);
 }
 
 JNIEXPORT jlong JNICALL