--- a/src/Pure/Tools/task_statistics.scala Thu Mar 07 17:50:26 2013 +0100
+++ b/src/Pure/Tools/task_statistics.scala Thu Mar 07 18:14:30 2013 +0100
@@ -32,8 +32,8 @@
def chart(bins: Int = 100): JFreeChart =
{
val values = new Array[Double](tasks.length)
- for ((Run(x), i) <- tasks.iterator.zipWithIndex) values(i) =
- java.lang.Math.log10(x.toDouble / 1000000)
+ for ((Run(x), i) <- tasks.iterator.zipWithIndex)
+ values(i) = java.lang.Math.log10((x max 1).toDouble / 1000000)
val data = new HistogramDataset
data.addSeries("tasks", values, bins)