| changeset 3 | df423d3b7fa1 |
| parent 2 | 6e7da958ba8c |
| 2:6e7da958ba8c | 3:df423d3b7fa1 |
|---|---|
1 import io.Source |
1 import io.Source |
2 |
2 |
3 def get_page(url: String) : String = { |
3 def get_page(url: String) : String = { |
4 Source.fromURL(url).take(10000).mkString |
4 Source.fromURL(url).take(10000).mkString |
5 |
5 |
6 get_page("""http://www.inf.kcl.ac.uk/staff/urbanc/""") |
|
7 |
6 |
8 |