]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/uriSetQueue.conf.xml.sample
Porting of uriSetQueue to Helm_registry.
[helm.git] / helm / graphs / tools / uriSetQueue.conf.xml.sample
diff --git a/helm/graphs/tools/uriSetQueue.conf.xml.sample b/helm/graphs/tools/uriSetQueue.conf.xml.sample
new file mode 100644 (file)
index 0000000..9bfc3d8
--- /dev/null
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="utf-8"?>
+<helm_registry>
+  <section name="uriSetQueue">
+    <key name="port">58082</key>
+  </section>
+</helm_registry>