# /robots.txt for Online web servers
# Created 21-Jun-2002 S.Fuess
# Allow local robot
User-agent: Inktomi search
Disallow: /Daq_believed_obsolete
Disallow: /Detector_believed_obsolete
Disallow: /Entries
Disallow: /Misc_believed_obsolete
Disallow: /News_believed_obsolete
Disallow: /ProposedWebsite
Disallow: /Sys_believed_obsolete
Disallow: /bb
Disallow: /chan_archiver
Disallow: /chris_work
Disallow: /crl
Disallow: /d0db_browser
Disallow: /d0live_event
Disallow: /elog_test
Disallow: /glossary
Disallow: /hdb
Disallow: /hdb-dev
Disallow: /hdb_editor
Disallow: /jpfitz
Disallow: /lm_db
Disallow: /log
Disallow: /luminosity
Disallow: /lxdata
Disallow: /online
Disallow: /run
Disallow: /ses_alarms
Disallow: /ses_alarms_weekly
Disallow: /sys
Disallow: /tmp
Disallow: /www
# Remainder are disallowed
User-agent: *
Disallow: /