From fb5c071e27383cfed37dca2b2d7df36eeacb9e02 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
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:", $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) {
--
2.39.2