diff options
| author | Damien George | 2014-03-24 12:23:37 +0000 |
|---|---|---|
| committer | Damien George | 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(); |
