From fb5c071e27383cfed37dca2b2d7df36eeacb9e02 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 16 Nov 2000 10:50:13 +0000 Subject: [PATCH] Much more modularity and some buf fixed in http_getter.pl --- helm/interface/Makefile | 32 ++++++++++++++--------- helm/interface/cadet | 6 ++++- helm/interface/http_getter/http_getter.pl | 3 ++- 3 files changed, 26 insertions(+), 15 deletions(-) diff --git a/helm/interface/Makefile b/helm/interface/Makefile index ba52624e2..ef5068524 100644 --- 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 7fc938248..40c3882ec 100755 --- 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 ce25c093f..d534e90b2 100755 --- 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, ">\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) { -- 2.39.2