server: code needed to run a scripts.mit.edu server