src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Thu May 27 12:34:30 2010 +0200
+++ b/src/Pure/System/session.scala	Thu May 27 12:35:40 2010 +0200
@@ -263,7 +263,7 @@
     {
       val now = currentTime
       flush_time match {
-        case None => flush_time = Some(now + 100)
+        case None => flush_time = Some(now + 100)   // FIXME output_delay property
         case Some(time) => if (now >= time) flush()
       }
     }