This is SDFileSystem which corrected the bug for MiMicSDK.

Dependents:   MbedFileServer_1768MiniDK2 RedWireBridge IssueDebug_gcc MiMicRemoteMCU-for-Mbed ... more

Fork of SDFileSystem by mbed official

Revision:
3:3fe3e381dd37
Parent:
2:c8f66dc765d4
Child:
7:5429e81addde
--- a/SDFileSystem.cpp	Thu Nov 29 10:56:21 2012 +0000
+++ b/SDFileSystem.cpp	Wed Apr 24 08:04:51 2013 +0000
@@ -143,6 +143,7 @@
 #define SDCARD_V2HC 3
 
 int SDFileSystem::initialise_card() {
+
     // Set to 100kHz for initialisation, and clock card with cs = 1
     _spi.frequency(100000);
     _cs = 1;
@@ -201,6 +202,9 @@
 
 int SDFileSystem::disk_initialize() {
     int i = initialise_card();
+    if(i==SDCARD_FAIL){
+        return 1;
+    }    
     debug_if(SD_DBG, "init card = %d\n", i);
     _sectors = _sd_sectors();