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