Diff between 2f1ea3485bb802a8ffa5f3d3a16d8f34dbd11f42 and 2560fdb7507a30995481096dfa12e917de0584b0

Changed Files

File Additions Deletions Status
android/client/if-hl.c +4 -0 modified

Full Patch

diff --git a/android/client/if-hl.c b/android/client/if-hl.c
index 17ba16c..a3c351c 100644
--- a/android/client/if-hl.c
+++ b/android/client/if-hl.c
@@ -329,6 +329,10 @@ static void close_channel_p(int argc, const char **argv)
 	}
 
 	channel_id = atoi(argv[4]);
+	if (channel_id >= CHANNEL_ID_SIZE) {
+		haltest_error("Wrong channel id: %u\n", channel_id);
+		return;
+	}
 
 	if (app[app_id].mdep[index].channel[channel_id].fd >= 0) {
 		shutdown(app[app_id].mdep[index].channel[channel_id].fd,