mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 12:02:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

srv0srv.c:

Browse source 
Eliminate potential division by zero


innobase/srv/srv0srv.c:
  Eliminate potential division by zero
This commit is contained in:
unknown 2002-07-08 20:04:10 +03:00
parent c0e8c9a11f
commit 5db805be78
1 changed files with 8 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
innobase/srv/srv0srv.c
View file

@ -2148,7 +2148,12 @@ srv_sprintf_innodb_monitor(
current_time = time(NULL);
time_elapsed = difftime(current_time, srv_last_monitor_time);
/* We add 0.001 seconds to time_elapsed to prevent division
by zero if two users happen to call SHOW INNODB STATUS at the same
time */
time_elapsed = difftime(current_time, srv_last_monitor_time)
+ 0.001;
srv_last_monitor_time = time(NULL);
@ -2443,13 +2448,13 @@ loop:
srv_error_monitor_active = TRUE;
os_thread_sleep(10000000);
/*
printf("Validating has index\n");
btr_search_validate();
printf("Hash index validated\n");
*/
sync_array_print_long_waits();
/* Flush stdout and stderr so that a database user gets their output