##############################################################################
#
# $Id$
#
# Copyright (c) 2000, Eindhoven University of Technology
# All Rights Reserved.
#


##############################################################################
#
# Defines for which DNS this host should work, localhost binds all of
# the DNS entries associated with this server.
#
hostname = localhost


##############################################################################
#
# Defines the portnumber for the host.
#
port = 4262


##############################################################################
#
# Defines how many user are kept in backlog while connecting to the host,
# this means that the user experiences a small delay if (s)he is connecting
# just after another user connected as the first one.
#
backlog  = 5


##############################################################################
#
# Defines which command should be used to startup GAP itself, 
# this entire string is used to start up. You can specify everything
# for GAP here, but do make sure the -p and -q options are enabled
# as the server depends on it!
#
command  = /usr/local/src/gap4r2/bin/gap.sh -q -p /home/user/openmath/cvs/pub-crystal/demos/pocklington/pock.gap