# $Id: jfkserver.sample,v 1.1 2002/09/10 14:38:27 stefan Exp $ # Sample configuration file for jfkserver. # Lines starting with a '#' are ignored. These values are the default ones # except for those marked with , they must be set explicitly. # Name or number of port where should jfkserver port=2487 # File describing the level to run (there are some in the levels directory) level=