1
0
mirror of https://github.com/MariaDB/server.git synced 2025-12-12 08:01:43 +03:00

branches/zip: Merge revisions 1009:1165 from trunk.

This commit is contained in:
marko
2007-01-02 14:36:59 +00:00
parent 75e35eb7c0
commit 7fbc4f2bc0
16 changed files with 164 additions and 165 deletions

View File

@@ -516,12 +516,6 @@ to 20 microseconds. */
#define SYNC_SPIN_ROUNDS srv_n_spin_wait_rounds
#define SYNC_INFINITE_TIME ((ulint)(-1))
/* Means that a timeout elapsed when waiting */
#define SYNC_TIME_EXCEEDED (ulint)1
/* The number of system calls made in this module. Intended for performance
monitoring. */