<?xml version="1.0"?>

<!DOCTYPE jason SYSTEM "conf/jason.dtd">

<!--

*************************
JASon configuration file
*************************

This file describes all available services. All services are grouped in
a domain. User can update some global properties like the message manager or the verbosity.

A domain contains : 
- A set of configuration services file (from the services.dtd)
- A set of single configuration service file (from the service.dtd)

User can override a property from the single configuration service file adding inside a set of property. 
Please report to the service.dtd for more information about properties

-->

<jason version="0.6" domain="default">

 <!-- Domain definition -->

 <domain name="default" verbose="true">

   <!-- This is a location path for integrating services.
   For this case, the domain will integrate automatically
   every services located in the door directory -->

   <door location="door" name="defaultDoor"/>

   <!-- Log information for the Log service. auto-clean to true will delete the log file when starting -->

   <log auto-clean="true"/>

   <!-- This is an example of a configuration services file -->

   <services location="services.xml"/>

   <!-- This is an example of independant service description -->

   <service location="services/admin.xml">

     <!-- We override the port property to a new value as example -->

     <property name="port" value="10004"/>

   </service>

   <!-- Here a message handler, look at the jason.core.MessageHandler interface for your own handler -->

   <messageHandler class="jason.core.ConsoleMessageHandler"/>
 </domain>

</jason>