raw_execute: let IOException pass-through unhindered (again);
authorwenzelm
Sat Sep 18 20:07:48 2010 +0200 (2010-09-18)
changeset 3952201aade784da9
parent 39521 7ed922d15827
child 39523 d8971680b0fc
raw_execute: let IOException pass-through unhindered (again);
src/Pure/System/standard_system.scala
     1.1 --- a/src/Pure/System/standard_system.scala	Sat Sep 18 19:38:27 2010 +0200
     1.2 +++ b/src/Pure/System/standard_system.scala	Sat Sep 18 20:07:48 2010 +0200
     1.3 @@ -132,9 +132,7 @@
     1.4        for ((x, y) <- env) proc.environment.put(x, y)
     1.5      }
     1.6      proc.redirectErrorStream(redirect)
     1.7 -
     1.8 -    try { proc.start }
     1.9 -    catch { case e: IOException => error(e.getMessage) }
    1.10 +    proc.start
    1.11    }
    1.12  
    1.13    def process_output(proc: Process): (String, Int) =
    1.14 @@ -152,8 +150,8 @@
    1.15      (output, rc)
    1.16    }
    1.17  
    1.18 -  def raw_exec(cwd: File, env: Map[String, String], redirect: Boolean, args: String*):
    1.19 -    (String, Int) = process_output(raw_execute(cwd, env, redirect, args: _*))
    1.20 +  def raw_exec(cwd: File, env: Map[String, String], redirect: Boolean, args: String*)
    1.21 +    : (String, Int) = process_output(raw_execute(cwd, env, redirect, args: _*))
    1.22  }
    1.23  
    1.24