| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Fri, 24 Jul 2020 12:58:19 +0100 (2020-07-24) | |
| changeset 738 | 084e2843f478 |
| parent 559 | db5cb071644d |
| permissions | -rw-r--r-- |
|
254
dcd4688690ce
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
96
diff
changeset
|
1 |
def get_page(url: String) : String = {
|
| 559 | 2 |
Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString).
|
3 |
getOrElse { println(s" Problem with: $url"); ""}
|
|
|
254
dcd4688690ce
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
96
diff
changeset
|
4 |
} |