Diff: file_system_manager.cpp

Revision:

124:c1b6c893e1c3

Parent:

122:480c44b0e205

Child:

125:8ff4dc96ad58

--- a/file_system_manager.cpp	Mon May 11 19:21:39 2015 +0000
+++ b/file_system_manager.cpp	Wed May 13 14:25:57 2015 +0000
@@ -344,7 +344,7 @@
     char buff[513];
     int num;
     
-    FILE *fp = fopen( fname, "r" );
+    FILE * fp = fopen( fname, "r" );
     if (fp == NULL) {
         if( debug_file ) if( debug_uart3 && !( from_eth ) )  pc.printf( "Failed to open %s", fname);
         return;
@@ -361,7 +361,8 @@
             }
         }
     }
-    fclose(fp);
+    
+    if ( fp ) fclose ( fp );
 }
 
 void set_shift_port( const int new_shift_port )
@@ -905,7 +906,7 @@
         
         if( fshift_port ) fprintf( fshift_port, "%i\n\r", 0 );
 
-        files('c');
+        files ('c');
 
         if( debug_uart3 && !( from_eth ) ) pc.printf("\n\rErased configurations set!\n\r");
         if( from_eth ) {