| changeset 559 | db5cb071644d |
| parent 428 | a47c4227a0c6 |
| 558:447ed6c7cdad | 559:db5cb071644d |
|---|---|
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 } |