equal
deleted
inserted
replaced
1 val my_urls = """urbanc""".r |
1 val my_urls = """urbanc""".r |
2 |
2 |
3 def crawl(url: String, n: Int) : Unit = { |
3 def crawl(url: String, n: Int) : Unit = { |
4 if (n == 0) () |
4 if (n == 0) () |
5 else if (my_urls.findFirstIn(url) == None) () |
5 else if (my_urls.findFirstIn(url) == None) { |
|
6 println(s"Visiting: $n $url") |
|
7 get_page(url); () |
|
8 } |
6 else { |
9 else { |
7 println(s"Visiting: $n $url") |
10 println(s"Visiting: $n $url") |
8 for (u <- get_all_URLs(get_page(url))) |
11 for (u <- get_all_URLs(get_page(url))) crawl(u, n - 1) |
9 crawl(u, n - 1) |
|
10 } |
12 } |
11 } |
13 } |