| author | cu |
| Wed, 25 Oct 2017 00:05:59 +0100 | |
| changeset 528 | 74a6cd2d011f |
| parent 254 | dcd4688690ce |
| child 559 | 893e756e18f5 |
| permissions | -rw-r--r-- |
| 1 | 1 |
import io.Source |
2 |
||
3 |
def get_page(url: String) : String = {
|
|
|
254
dcd4688690ce
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
4 |
Source.fromURL(url).take(10000).mkString |
|
dcd4688690ce
updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
93
diff
changeset
|
5 |
} |
| 1 | 6 |
|
7 |