|
1
|
1 |
import io.Source
|
|
|
2 |
|
|
|
3 |
def get_page(url: String) : String = {
|
254
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
4 |
Source.fromURL(url).take(10000).mkString
|
Christian Urban <christian dot urban at kcl dot ac dot uk>
diff
changeset
|
5 |
}
|
|
1
|
6 |
|
|
|
7 |
|