app3.scala
changeset 7 73cf4406b773
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/app3.scala	Thu Sep 27 11:59:41 2012 +0100
@@ -0,0 +1,10 @@
+val my_urls = """urbanc""".r
+
+def crawl(url: String, n: Int) : Unit = {
+  if (n == 0) ()
+  else if (my_urls.findFirstIn(url) == None) ()
+  else {
+    println("Visiting: " + n + " " + url)
+    for (u <- get_all_URLs(get_page(url))) crawl(u, n - 1)
+  }
+}