| changeset 2 | 6e7da958ba8c |
| parent 1 | b606c9439fa6 |
| child 3 | df423d3b7fa1 |
| 1:b606c9439fa6 | 2:6e7da958ba8c |
|---|---|
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/""") |
|
6 |
7 |
7 |
8 |