changeset 101 | 4758a6155878 |
parent 100 | cbc2270c2938 |
child 112 | 95ee5cc5c05d |
--- a/progs/crawler3.scala Thu Sep 26 10:36:24 2013 +0100 +++ b/progs/crawler3.scala Thu Sep 26 10:39:23 2013 +0100 @@ -5,7 +5,7 @@ import scala.util.matching.Regex import scala.util._ -// gets the first ~10K of a page +// gets the first ~10K of a web-page def get_page(url: String) : String = { Try(Source.fromURL(url).take(10000).mkString) getOrElse { println(s" Problem with: $url"); ""}