From 14d24440dc2fc474efa88579f673732e27a63caf Mon Sep 17 00:00:00 2001 From: Rom Walton Date: Sat, 5 Apr 2014 15:28:06 -0400 Subject: [PATCH] VBOX: Print out the decimal value for the random checkpoint value instead of a double. --- samples/vboxwrapper/vboxwrapper.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/samples/vboxwrapper/vboxwrapper.cpp b/samples/vboxwrapper/vboxwrapper.cpp index 31e41c836a..4c2f07f3d0 100644 --- a/samples/vboxwrapper/vboxwrapper.cpp +++ b/samples/vboxwrapper/vboxwrapper.cpp @@ -445,9 +445,9 @@ int main(int argc, char** argv) { random_checkpoint_factor = (double)(((int)(drand() * 100000.0)) % 600); fprintf( stderr, - "%s Feature: Checkpoint interval offset (%f seconds)\n", + "%s Feature: Checkpoint interval offset (%d seconds)\n", vboxwrapper_msg_prefix(buf, sizeof(buf)), - random_checkpoint_factor + (int)random_checkpoint_factor ); // Display trickle value if specified