| author | cu |
| Tue, 17 Oct 2017 13:49:45 +0100 | |
| changeset 520 | fff0c9cab8d0 |
| 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 |