###############################################################################
#
#  $Id$
# 
#  Server configuration.
#
#  Copyright (c) 1999-2002, RIACA, Technische Universiteit Eindhoven (TU/e).
#  All Rights Reserved.
#


###############################################################################
#
#  List the name(s) of the services know by this server, in the order in which 
#  the services should be started.
#

order = coq


###############################################################################
#
#  Defines the COQ service.
#

service#name@coq.displayname = COQ Service
service#name@coq.config      = var/service/coq/etc/service.properties
service#name@coq.classname   = nl.tue.win.riaca.coq.service.CoqSocketService