diff options
author | Damien George <damien.p.george@gmail.com> | 2014-03-24 12:23:37 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-03-24 12:23:37 +0000 |
commit | f704e7f20e34debbe33c776beaf3ca1bf830aa4f (patch) | |
tree | e4683a47f0d400bc00b0a5bf3bae74328b248380 /stmhal/main.c | |
parent | 2f8beb8d88ff98025b87e4a1aac350096d5ed6ac (diff) |
stmhal: Improve REPL CTRL commands.
Diffstat (limited to 'stmhal/main.c')
-rw-r--r-- | stmhal/main.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/stmhal/main.c b/stmhal/main.c index 0a7051269..4aa668a13 100644 --- a/stmhal/main.c +++ b/stmhal/main.c @@ -446,7 +446,19 @@ soft_reset: #endif #endif - pyexec_repl(); + // enter REPL + // REPL mode can change, or it can request a soft reset + for (;;) { + if (pyexec_mode_kind == PYEXEC_MODE_RAW_REPL) { + if (pyexec_raw_repl() != 0) { + break; + } + } else { + if (pyexec_friendly_repl() != 0) { + break; + } + } + } printf("PYB: sync filesystems\n"); storage_flush(); |