cc3100_Socket_Wifi_Server with Ethernet Interface not working

Dependencies:   EthernetInterface mbed-rtos mbed

Fork of cc3100_Test_Demo by David Fletcher

Revision:
2:b3fd5b3d9860
Parent:
0:e89ba455dbcf
diff -r c73566c6788a -r b3fd5b3d9860 simplelink/cc3100_nonos.cpp
--- a/simplelink/cc3100_nonos.cpp	Tue Feb 10 12:58:16 2015 +0000
+++ b/simplelink/cc3100_nonos.cpp	Sun Feb 15 11:01:37 2015 +0000
@@ -195,7 +195,6 @@
     
 _SlNonOsRetVal_t cc3100_nonos::sl_SyncObjWait(_SlNonOsSemObj_t* pSyncObj, _SlNonOsSemObj_t WaitValue, _SlNonOsSemObj_t SetValue, _SlNonOsTime_t Timeout){//_SlNonOsSemGet(pSyncObj,NON_OS_SYNC_OBJ_SIGNAL_VALUE,NON_OS_SYNC_OBJ_CLEAR_VALUE,Timeout)
 
-//printf("_SlNonOsSemGet\r\n");
     while (Timeout > 0) {
         if (WaitValue == *pSyncObj) {
             *pSyncObj = SetValue;