src/Pure/System/isabelle_process.scala
changeset 40848 8662b9b1f123
parent 39731 5cb0d7b0d601
child 43283 446e6621762d
     1.1 --- a/src/Pure/System/isabelle_process.scala	Wed Dec 01 15:38:05 2010 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Wed Dec 01 20:34:40 2010 +0100
     1.3 @@ -61,7 +61,7 @@
     1.4  }
     1.5  
     1.6  
     1.7 -class Isabelle_Process(system: Isabelle_System, timeout: Int, receiver: Actor, args: String*)
     1.8 +class Isabelle_Process(system: Isabelle_System, timeout: Time, receiver: Actor, args: String*)
     1.9  {
    1.10    import Isabelle_Process._
    1.11  
    1.12 @@ -69,7 +69,7 @@
    1.13    /* demo constructor */
    1.14  
    1.15    def this(args: String*) =
    1.16 -    this(new Isabelle_System, 10000,
    1.17 +    this(new Isabelle_System, Time.seconds(10),
    1.18        actor { loop { react { case res => Console.println(res) } } }, args: _*)
    1.19  
    1.20  
    1.21 @@ -141,7 +141,7 @@
    1.22    {
    1.23      val (startup_failed, startup_output) =
    1.24      {
    1.25 -      val expired = System.currentTimeMillis() + timeout
    1.26 +      val expired = System.currentTimeMillis() + timeout.ms
    1.27        val result = new StringBuilder(100)
    1.28  
    1.29        var finished: Option[Boolean] = None