Diff between eb1dd2bc1c4b32b791203340b303306bd7f5fe0b and 1edffc22a343511ad1357d002f1968e4746c68a6
Changed Files
| File | Additions | Deletions | Status |
| src/shared/shell.c | +3 | -0 | modified |
Full Patch
diff --git a/src/shared/shell.c b/src/shared/shell.c
index 107fc7a..b778421 100644
--- a/src/shared/shell.c
+++ b/src/shared/shell.c
@@ -678,6 +678,9 @@ static int shell_exec(int argc, char *argv[])
if (!data.menu || !argv[0])
return -EINVAL;
+ if (!argsisutf8(argc, argv))
+ return -EINVAL;
+
err = menu_exec(default_menu, argc, argv);
if (err == -ENOENT) {
err = menu_exec(data.menu->entries, argc, argv);