author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
Sun, 27 Oct 2013 01:07:25 +0100 | |
changeset 162 | edcd84c7b491 |
parent 96 | 9fcd3de53c06 |
child 254 | dcd4688690ce |
permissions | -rw-r--r-- |
96
9fcd3de53c06
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
1 |
def get_page(url: String) : String = |
9fcd3de53c06
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
2 |
Try(Source.fromURL(url).take(10000).mkString) getOrElse |
9fcd3de53c06
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
3 |
{ println(s" Problem with: $url"); ""} |