1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

New improved IO_CACHE

This commit is contained in:
monty@bitch.mysql.fi
2001-11-28 02:55:52 +02:00
parent d3288575de
commit d0ccff5090
29 changed files with 496 additions and 413 deletions

View File

@ -1687,7 +1687,7 @@ static void init_pid_file()
if (!fp)
die("Could not open pid file %s", pid_file);
created_pid_file=1;
fprintf(fp, "%d\n", getpid());
fprintf(fp, "%d\n", (int) getpid());
fclose(fp);
}