diff options
| author | Dave Hylands <dhylands@gmail.com> | 2014-06-30 07:55:54 -0700 |
|---|---|---|
| committer | Dave Hylands <dhylands@gmail.com> | 2014-06-30 08:07:38 -0700 |
| commit | 0d81c133b31774058408a5f1d1a058d9734a9def (patch) | |
| tree | 140c4e44cacbb8cc0d4609a60b764fafc54b057d /unix/modsocket.c | |
| parent | 8993fb6cf0677ce980ab56cbad326e4e6bc47811 (diff) | |
| download | micropython-0d81c133b31774058408a5f1d1a058d9734a9def.tar.gz micropython-0d81c133b31774058408a5f1d1a058d9734a9def.zip | |
Add timer_deinit and call it just before doing a soft-restart
This fixes #733.
Diffstat (limited to 'unix/modsocket.c')
0 files changed, 0 insertions, 0 deletions