Much more modularity and some buf fixed in http_getter.pl

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index ba52624e25e965a0981f98faef2a064638b504e2..ef5068524a5ec304015ed938580e736b72b55e88 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -171,27 +171,33 @@ clean:
 
 start-xaland:
        java -ss1024K -oss8192K \
-           xaland 12345 12346 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
+           xaland 12345 12346 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
 
 start-xaland-2:
        java -ss1024K -oss8192K \
-           xaland2 12345 12346 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
+           xaland2 12345 12346 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
 
 start-xaland-old:
        java xaland 12345 12346 \
-         examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
-         examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
 
 start-xaland3:
-       java xaland 12347 12348 examples/style/rootcontent.xsl \
-           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
-           examples/style/theory_pres.xsl
+       java xaland 12347 12348 \
+           $(COQV)/examples/style/rootcontent.xsl \
+           $(COQV)/examples/style/annotatedpres.xsl \
+           $(COQV)/examples/style/theory_content.xsl \
+           $(COQV)/examples/style/theory_pres.xsl
 
 start-http-getter:
        http_getter/http_getter.pl

diff --git a/helm/interface/cadet b/helm/interface/cadet
index 7fc93824812a2a139c34bd0da49497e7631bf502..40c3882ec18185d8c4f503eecd57d5dd26e56e30 100755 (executable)
--- a/helm/interface/cadet
+++ b/helm/interface/cadet
@@ -14,7 +14,11 @@ export CLASSPATH=~/HELM/installation/xalan-j_1_2/xalan.jar:~/HELM/installation/x
 export LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
 
 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
-export HELM_CONFIGURATION_PREFIX=~/HELM/installation
+#export HELM_CONFIGURATION_PREFIX=~/HELM/installation
+#export COQV=V6.2
+
+export HELM_CONFIGURATION_PREFIX=/home/cadet/sacerdot
+export COQV=V7
 
 export T1LIB_CONFIG=./t1.config
 

diff --git a/helm/interface/http_getter/http_getter.pl b/helm/interface/http_getter/http_getter.pl
index ce25c093f495744ca78fe4b21e05e1e24d8e922e..d534e90b262b87b1ce5926eff20aeca66597f71a 100755 (executable)
--- a/helm/interface/http_getter/http_getter.pl
+++ b/helm/interface/http_getter/http_getter.pl
@@ -18,9 +18,10 @@ use DB_File;
 
 my $cont = "";
 my $d = new HTTP::Daemon LocalPort => 8081;
-tie(%map, 'DB_File', 'urls_of_uris.db', O_RDONLY, 0664);
+tie(%map, 'DB_File', $uris_dbm.".db", O_RDONLY, 0664);
 print "Please contact me at: <URL:", $d->url, ">\n";
 print "helm_dir: $helm_dir\n";
+print "urls_of_uris.db: $uris_dbm.db\n";
 $SIG{CHLD} = "IGNORE"; # do not accumulate defunct processes
 while (my $c = $d->accept) {
  if (fork() == 0) {