diff options
Diffstat (limited to 'os/various/shell/shell.c')
| -rw-r--r-- | os/various/shell/shell.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/os/various/shell/shell.c b/os/various/shell/shell.c index f699901ec..889d561f9 100644 --- a/os/various/shell/shell.c +++ b/os/various/shell/shell.c @@ -354,7 +354,7 @@ THD_FUNCTION(shellThread, p) { chprintf(chp, SHELL_NEWLINE_STR);
chprintf(chp, "ChibiOS/RT Shell" SHELL_NEWLINE_STR);
- while (true) {
+ while (!chThdShouldTerminateX()) {
chprintf(chp, SHELL_PROMPT_STR);
if (shellGetLine(scfg, line, sizeof(line), shp)) {
#if (SHELL_CMD_EXIT_ENABLED == TRUE) && !defined(_CHIBIOS_NIL_)
|