| author | cu |
| Wed, 25 Oct 2017 00:05:59 +0100 | |
| changeset 528 | 68fab15cd6fb |
| parent 428 | a47c4227a0c6 |
| child 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 = {
|
|
428
a47c4227a0c6
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
254
diff
changeset
|
2 |
Try(Source.fromURL(url).take(10000).mkString). |
|
a47c4227a0c6
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
254
diff
changeset
|
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 |
} |