hi!

what's the correct user-agent-string in robots.txt,
because I wan't to exclude HTTrack from my website,
because of traffic problems.

User-agent: HTTrack
Disallow: /

or

User-agent: IDentity
Disallow: /

?
greetings from germany, stefan