diff options
author | Dave Hylands <dhylands@gmail.com> | 2014-06-30 22:49:21 -0700 |
---|---|---|
committer | Dave Hylands <dhylands@gmail.com> | 2014-06-30 22:49:21 -0700 |
commit | 2fe841d2fa022bc7f546ddd77a79eaa0150bdf87 (patch) | |
tree | 73b3359c114fd7462654dff2297e09eecaaca11d /py/gc.h | |
parent | 8993fb6cf0677ce980ab56cbad326e4e6bc47811 (diff) |
Try not to cause a MemoryError when raising an exception during nterrupt handling.
Step 1 fixes #732
Diffstat (limited to 'py/gc.h')
-rw-r--r-- | py/gc.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -30,6 +30,7 @@ void gc_init(void *start, void *end); // They can be used to prevent the GC from allocating/freeing. void gc_lock(void); void gc_unlock(void); +bool gc_is_locked(void); // A given port must implement gc_collect by using the other collect functions. void gc_collect(void); |