| author | Christian Urban <christian dot urban at kcl dot ac dot uk> | 
| Thu, 13 Oct 2016 13:13:27 +0100 | |
| changeset 450 | b93eaa833d31 | 
| parent 428 | a47c4227a0c6 | 
| child 559 | 893e756e18f5 | 
| 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  | 
}  |