| author | Christian Urban <urbanc@in.tum.de> |
| Tue, 26 Sep 2017 14:10:43 +0100 | |
| changeset 505 | ca51b1d4dae5 |
| 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 |