import io.Source+
−
+
−
def get_page(url: String) : String = { +
−
  Source.fromURL(url)("ISO-8859-1").take(10000).mkString+
−
}  +
−
+
−
+
−