equal
deleted
inserted
replaced
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)("ISO-8859-1").take(10000).mkString |
5 } |
5 } |
6 |
6 |
7 |
7 |