| changeset 254 | dcd4688690ce |
| parent 96 | 9fcd3de53c06 |
| child 428 | a47c4227a0c6 |
| 253:75c469893514 | 254:dcd4688690ce |
|---|---|
1 def get_page(url: String) : String = |
1 def get_page(url: String) : String = { |
2 Try(Source.fromURL(url).take(10000).mkString) getOrElse |
2 Try(Source.fromURL(url).take(10000).mkString) getOrElse |
3 { println(s" Problem with: $url"); ""} |
3 { println(s" Problem with: $url"); ""} |
4 } |