| changeset 559 | 893e756e18f5 |
| parent 428 | a47c4227a0c6 |
| 558:c9da2c4586f2 | 559:893e756e18f5 |
|---|---|
1 def get_page(url: String) : String = { |
1 def get_page(url: String) : String = { |
2 Try(Source.fromURL(url).take(10000).mkString). |
2 Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString). |
3 getOrElse { println(s" Problem with: $url"); ""} |
3 getOrElse { println(s" Problem with: $url"); ""} |
4 } |
4 } |