robots: Rename

2013-03-24 10:07:31 -07:00 · 2013-03-24 10:07:31 -07:00 · b491b5aeb6
parent 2f11e06dec
commit b491b5aeb6
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> ;