changeset 34219 | d37cfca69887 |
parent 34218 | f65c717952c0 |
child 34220 | f7a0088518e1 |
--- a/src/Pure/General/download.scala Sat Jan 02 00:08:47 2010 +0100 +++ b/src/Pure/General/download.scala Sat Jan 02 01:14:49 2010 +0100 @@ -29,8 +29,8 @@ (connection, new BufferedInputStream(stream)) } - // FIXME error handling - def file(parent: Component, url: URL, file: File) + // FIXME error handling (dialogs) + def file(parent: Component, url: URL, file: File): Boolean = { val outstream = new BufferedOutputStream(new FileOutputStream(file))