# 
# Agent-specific settings for indexing the site.
#

#  Allow Google for full text crawling 
User-agent: GoogleBot
# Google ignores Crawl-delay
# Crawl-delay: 2
# URL prefixes
# URL wildcards
Disallow: /*;jsessionid=

# 
# Generic settings for indexing the site.
#

User-agent: *
Disallow: /