VBOX: Print out the decimal value for the random checkpoint value instead of a double.

This commit is contained in:
Rom Walton 2014-04-05 15:28:06 -04:00
parent 6f55578937
commit 14d24440dc
1 changed files with 2 additions and 2 deletions

View File

@ -445,9 +445,9 @@ int main(int argc, char** argv) {
random_checkpoint_factor = (double)(((int)(drand() * 100000.0)) % 600); random_checkpoint_factor = (double)(((int)(drand() * 100000.0)) % 600);
fprintf( fprintf(
stderr, stderr,
"%s Feature: Checkpoint interval offset (%f seconds)\n", "%s Feature: Checkpoint interval offset (%d seconds)\n",
vboxwrapper_msg_prefix(buf, sizeof(buf)), vboxwrapper_msg_prefix(buf, sizeof(buf)),
random_checkpoint_factor (int)random_checkpoint_factor
); );
// Display trickle value if specified // Display trickle value if specified