| author | Christian Urban <urbanc@in.tum.de> | 
| Mon, 13 Feb 2017 23:22:45 +0000 | |
| changeset 476 | 147a5560efd7 | 
| 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: 
96diff
changeset | 1 | def get_page(url: String) : String = {
 | 
| 428 
a47c4227a0c6
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
254diff
changeset | 2 | Try(Source.fromURL(url).take(10000).mkString). | 
| 
a47c4227a0c6
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
254diff
changeset | 3 |      getOrElse { println(s"  Problem with: $url"); ""}
 | 
| 254 
dcd4688690ce
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
96diff
changeset | 4 | } |