#
|
|
# 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;
|