| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Tue, 18 Oct 2016 20:39:54 +0100 | |
| changeset 456 | 2fddf8ab744f |
| 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 |