robots: Rename

2013-03-24 10:07:31 -07:00 · 2013-03-24 10:07:31 -07:00 · 12b6fc17ea
parent 73360c0982
commit 12b6fc17ea
1 changed files with 1 additions and 1 deletions
--- a/extra/robots/robots.factor
+++ b/extra/robots/robots.factor
@ -97,6 +97,6 @@ PRIVATE>
        [ <rules> dup ] dip [ parse-robots.txt-line drop ] with each
    ] map ;

-: robots ( url -- robots )
+: url>robots ( url -- robots )
    >url
    dup get-robots.txt nip parse-robots.txt <robots> ;