diff src/share/vm/runtime/timer.cpp @ 14704:b51e29501f30

Merged with jdk9/dev/hotspot changeset 9486a41de3b7
author twisti
date Tue, 18 Mar 2014 20:19:10 -0700
parents d8041d695d19 9c9f4dac029b
children 92aa6797d639
line wrap: on
line diff
--- a/src/share/vm/runtime/timer.cpp	Thu Mar 20 22:30:26 2014 +0100
+++ b/src/share/vm/runtime/timer.cpp	Tue Mar 18 20:19:10 2014 -0700
@@ -210,7 +210,7 @@
         system_secs = system_time - _starting_system_time;
         real_secs = real_time - _starting_real_time;
 
-        _logfile->print(" [Times: user=%3.2f sys=%3.2f, real=%3.2f secs] ",
+        _logfile->print(" [Times: user=%3.2f sys=%3.2f real=%3.2f secs] ",
           user_secs, system_secs, real_secs);
 
       } else {