X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fextractor%2Fextractor.conf.xml;h=d82b16028e3e6e0ccbd66fc3493ed8f496de4b3c;hb=94c6cfe7e6b833190904c6b546668d716978a812;hp=8dbc9a935611a97009b299aa59aa791524a9af1a;hpb=aef659e5893b4bf8c8544d0c54714e10f5b5493a;p=helm.git
diff --git a/helm/software/components/binaries/extractor/extractor.conf.xml b/helm/software/components/binaries/extractor/extractor.conf.xml
index 8dbc9a935..d82b16028 100644
--- a/helm/software/components/binaries/extractor/extractor.conf.xml
+++ b/helm/software/components/binaries/extractor/extractor.conf.xml
@@ -4,9 +4,8 @@
.tmp/
- localhost
- helm
- mowgli
+ mysql://mowgli.cs.unibo.it mowgli helm helm library
+ file:///tmp/ user.db helm helm user