About This Server
This server, running at the Computer Science department at Princeton
University, runs on Fujitsu hardware and the Linux
operating system. The server itself is the Apache web server and
uses the PHP module for scripting and MySQL for the database back-end.
Search for the site is done with a Google Mini Search Appliance, and
the index is refreshed once a week.