fileio.c
changeset 4077 d3022f976946
parent 3898 41e2221fba16
child 4200 a45420ba0c23
equal deleted inserted replaced
4076:e3ef1c1f149c 4077:d3022f976946
   131 		}
   131 		}
   132 #endif
   132 #endif
   133 	}
   133 	}
   134 #endif
   134 #endif
   135 
   135 
   136 	if (f == NULL)
   136 	if (f == NULL) {
   137 		return false;
   137 		return false;
   138 	else {
   138 	} else {
   139 		fclose(f);
   139 		fclose(f);
   140 		return true;
   140 		return true;
   141 	}
   141 	}
   142 }
   142 }
   143 
   143