]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/http_getter/http_getter.conf.xml.sample
- use new logger interface
[helm.git] / helm / http_getter / http_getter.conf.xml.sample
index 05eb13bb96f962c5fd58c96d79e14dd828d8d53e..8551ff0e7459e89ba668948158d3d829cdcea298 100644 (file)
@@ -30,5 +30,8 @@
     </key>
 
     <key name="port">58081</key>
+
+    <key name="log_level">1</key>
+    <key name="log_file">http_getter.log</key>
   </section>
 </helm_registry>