diff options
| author | Dan Halbert <halbert@halwitz.org> | 2019-03-17 09:17:04 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-17 09:17:04 -0400 |
| commit | 60f76941efabd579c28cddfd70218d6ef7c08067 (patch) | |
| tree | 2bbc42dfe2b4ec86b93082c6d61bb9ecc942ad95 /shared-module | |
| parent | 0cdb5fcfd9bb178a880bbbb1a043aa2452243e0f (diff) | |
| parent | a10e4fe21efd45596b82b50ffde98e8ec7e893c6 (diff) | |
Merge pull request #1649 from dhalbert/reload-flush-filesystem4.0.0-beta.5
flush filesystem before resetting heap
Diffstat (limited to 'shared-module')
| -rw-r--r-- | shared-module/displayio/__init__.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/shared-module/displayio/__init__.c b/shared-module/displayio/__init__.c index 546a46b1e..ced5b0fef 100644 --- a/shared-module/displayio/__init__.c +++ b/shared-module/displayio/__init__.c @@ -29,10 +29,8 @@ void displayio_refresh_displays(void) { if (mp_hal_is_interrupted()) { return; } - // Somehow reloads from the sdcard are being lost. So, cheat and reraise. - // But don't re-raise if already pending. - if (reload_requested && MP_STATE_VM(mp_pending_exception) == MP_OBJ_NULL) { - mp_raise_reload_exception(); + if (reload_requested) { + // Reload is about to happen, so don't redisplay. return; } |
