import io.Source+
−
+
−
def get_page(url: String) : String = { +
−
  Source.fromURL(url).take(10000).mkString  +
−
+
−
get_page("""http://www.inf.kcl.ac.uk/staff/urbanc/""")+
−
+
−
+
−