<?xml version="1.0"?>
-<!-- $Id: config.xml,v 1.7 2004-01-07 20:55:13 adam Exp $ -->
+<!-- $Id: config.xml,v 1.8 2004-01-15 23:44:58 adam Exp $ -->
<proxy>
<target name="bagel">
<url>indexdata.dk</url>
<database>Default</database>
</serverInfo>
</explain>
+ <explain>
+ <serverInfo>
+ <host>indexdata.dk</host>
+ <port>9000</port>
+ <database>gils</database>
+ </serverInfo>
+ </explain>
</target>
<target name="*">
<!-- everything else -->