| changeset 559 | 893e756e18f5 |
| parent 254 | dcd4688690ce |
| 558:c9da2c4586f2 | 559:893e756e18f5 |
|---|---|
1 val my_urls = """urbanc""".r |
1 val my_urls = """urban""".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") |
6 println(s"Visiting: $n $url") |