From 083c1064658ba886bc46dc1580b5ff1c5d74537a Mon Sep 17 00:00:00 2001
From: Rahix <rahix@rahix.de>
Date: Thu, 4 Jul 2019 13:50:35 +0200
Subject: [PATCH] feat(pycardium): Restart repl on ^D
Signed-off-by: Rahix <rahix@rahix.de>
---
pycardium/main.c | 11 +++++------
1 file changed, 5 insertions(+), 6 deletions(-)
diff --git a/pycardium/main.c b/pycardium/main.c
index 68bbc2c1..55d2e060 100644
--- a/pycardium/main.c
+++ b/pycardium/main.c
@@ -16,13 +16,12 @@ int main(void)
/* TMR5 is used to notify on keyboard interrupt */
NVIC_EnableIRQ(TMR5_IRQn);
- gc_init(heap, heap + sizeof(heap));
-
- mp_init();
- pyexec_friendly_repl();
-
while (1) {
- ;
+ gc_init(heap, heap + sizeof(heap));
+
+ mp_init();
+ pyexec_friendly_repl();
+ mp_deinit();
}
}
--
GitLab