我可以添加超时scala.sys.process管道吗

我可以添加超时scala.sys.process管道吗,scala,pipe,Scala,Pipe,这和我前一段时间问的有关。如果我用scala.sys.process下载一个大文件,如下所示: import java.io.File import java.net.URL import scala.sys.process._ new URL("http://www.scala-lang.org/") #> new File("scala-lang.html") ! 有可能下载永远不会返回(并且没有异常/返回代码),然后阻止整个过程。我只是想知道,如果它没有完成,我是否可以添加一些超时

这和我前一段时间问的有关。如果我用scala.sys.process下载一个大文件,如下所示:

import java.io.File
import java.net.URL
import scala.sys.process._
new URL("http://www.scala-lang.org/") #> new File("scala-lang.html") !
有可能下载永远不会返回(并且没有异常/返回代码),然后阻止整个过程。我只是想知道,如果它没有完成,我是否可以添加一些超时,比如一个小时,然后出现异常(或失败代码?

您可能会感到鼓舞,尤其是
proc.destroy()
部分。