diff options
Diffstat (limited to 'cc3200/mptask.c')
| -rw-r--r-- | cc3200/mptask.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/cc3200/mptask.c b/cc3200/mptask.c index 459d17130..7b730c536 100644 --- a/cc3200/mptask.c +++ b/cc3200/mptask.c @@ -50,6 +50,7 @@ #include "mperror.h" #include "simplelink.h" #include "modnetwork.h" +#include "modusocket.h" #include "modwlan.h" #include "serverstask.h" #include "telnet.h" @@ -255,6 +256,9 @@ soft_reset_exit: // flush the serial flash buffer sflash_disk_flush(); + // clean-up the user socket space + modusocket_close_all_user_sockets(); + #if MICROPY_HW_HAS_SDCARD pybsd_deinit(); #endif @@ -283,9 +287,12 @@ STATIC void mptask_pre_init (void) { // this one allocates memory for the nvic vault pybsleep_pre_init(); - // this one allocates mameory for the WLAN semaphore + // this one allocates memory for the WLAN semaphore wlan_pre_init(); + // this one allocates memory for the Socket semaphore + modusocket_pre_init(); + #if MICROPY_HW_HAS_SDCARD pybsd_init0(); #endif |