# # This file contains configuration variables for drivers. # It was generated by genhdrs.pl. Do not modify it. # package Driverhdrs; $LAB = "datalab"; $SERVER_NAME = "changeme.ics.cs.cmu.edu"; $SERVER_PORT = 8081; $COURSE_NAME = "csapp"; $AUTOGRADE_TIMEOUT = 0; 1;