| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 20 Sep 2016 12:17:01 +0100 | |
| changeset 421 | 7a04f2c532c1 |
| parent 254 | dcd4688690ce |
| child 559 | db5cb071644d |
| 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 |