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,