| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Wed, 01 Oct 2025 10:37:20 +0100 | |
| changeset 995 | 5056d7de44af | 
| parent 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 = {
 | 
| 559 | 2 |  Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString).
 | 
| 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 | } |