equal
deleted
inserted
replaced
63 val factor_text = |
63 val factor_text = |
64 factor match { |
64 factor match { |
65 case Some(f) => Timing.factor_format(f) |
65 case Some(f) => Timing.factor_format(f) |
66 case None => "" |
66 case None => "" |
67 } |
67 } |
68 if (resources.seconds >= 3.0) |
68 if (resources.seconds >= 3.0) { |
69 elapsed.message_hms + " elapsed time, " + resources.message_hms + " cpu time" + factor_text |
69 elapsed.message_hms + " elapsed time, " + resources.message_hms + " cpu time" + factor_text |
70 else |
70 } |
|
71 else { |
71 elapsed.message_hms + " elapsed time" + factor_text |
72 elapsed.message_hms + " elapsed time" + factor_text |
|
73 } |
72 } |
74 } |
73 |
75 |
74 override def toString: String = message |
76 override def toString: String = message |
75 |
77 |
76 def json: JSON.Object.T = |
78 def json: JSON.Object.T = |