| author | Christian Urban <urbanc@in.tum.de> | 
| Tue, 11 Apr 2017 06:22:46 +0800 | |
| changeset 483 | faba5360372c | 
| 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  | 
}  |