Commit 7a94fdd4 authored by heikki@hundin.mysql.fi's avatar heikki@hundin.mysql.fi
Browse files

os0file.c: 

  Crash the server if file flush does not succeed: the database can get corrupt, better to crash it than let it run
parent 38394ca1

innobase/os/os0file.c

+13 −3
Original line number Diff line number Diff line
@@ -761,6 +761,10 @@ os_file_flush( 


	os_file_handle_error(file, NULL);



	/* It is a fatal error if a file flush does not succeed, because then

	the database can get corrupt on disk */

	ut_a(0);



	return(FALSE);

#else

	int	ret;
@@ -783,11 +787,17 @@ os_file_flush( 
	        return(TRUE);

	}



	ut_print_timestamp(stderr);

	

	fprintf(stderr,

		"  InnoDB: Error: the OS said file flush did not succeed\n");



	os_file_handle_error(file, NULL);



	/* It is a fatal error if a file flush does not succeed, because then

	the database can get corrupt on disk */

	ut_a(0);



	return(FALSE);

#endif

}
@@ -1144,8 +1154,8 @@ os_file_write( 
"InnoDB: Operating system error number %lu.\n"

"InnoDB: Check that your OS and file system support files of this size.\n"

"InnoDB: Check also the disk is not full or a disk quota exceeded.\n",

			name, offset_high, offset, n, ret, (ulint)errno);



			name, offset_high, offset, n, (ulint)ret,

							(ulint)errno);

		os_has_said_disk_full = TRUE;

	}