mirror of
https://github.com/MariaDB/server.git
synced 2026-05-14 19:07:15 +02:00
merge mysql-5.0-bugteam to mysql-5.1-bugteam
This commit is contained in:
commit
33f9066e39
3 changed files with 14 additions and 1 deletions
|
|
@ -88,6 +88,13 @@ int my_copy(const char *from, const char *to, myf MyFlags)
|
|||
goto err;
|
||||
}
|
||||
|
||||
/* sync the destination file */
|
||||
if (MyFlags & MY_SYNC)
|
||||
{
|
||||
if (my_sync(to_file, MyFlags))
|
||||
goto err;
|
||||
}
|
||||
|
||||
if (my_close(from_file,MyFlags) | my_close(to_file,MyFlags))
|
||||
DBUG_RETURN(-1); /* Error on close */
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue