###############################################################################
#
# Services configuration.
#
# Copyright (c) 1999-2000, RIACA. 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      = services/coq/service.properties
service#name@coq.classname   = nl.tue.win.riaca.coq.service.CoqSocketService