ingo@9: <config>
christian@3385:     <server>http://localhost:8181</server>
ingo@585: 
ingo@585:     <projectlist>
ingo@585:         <!-- The interval to update the user's projects (in ms) -->
sascha@586:         <update-interval>300000</update-interval>
ingo@585:     </projectlist>
ingo@9: </config>