]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create/mywget.pl
This commit was manufactured by cvs2svn to create branch 'uwobo'.
[helm.git] / helm / metadata / create / mywget.pl
diff --git a/helm/metadata/create/mywget.pl b/helm/metadata/create/mywget.pl
deleted file mode 100755 (executable)
index 2ffcde6..0000000
+++ /dev/null
@@ -1,66 +0,0 @@
-#!/usr/bin/perl
-
-# Copyright (C) 2000, HELM Team.
-# 
-# This file is part of HELM, an Hypertextual, Electronic
-# Library of Mathematics, developed at the Computer Science
-# Department, University of Bologna, Italy.
-# 
-# HELM is free software; you can redistribute it and/or
-# modify it under the terms of the GNU General Public License
-# as published by the Free Software Foundation; either version 2
-# of the License, or (at your option) any later version.
-# 
-# HELM is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-# 
-# You should have received a copy of the GNU General Public License
-# along with HELM; if not, write to the Free Software
-# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
-# 
-# For details, see the HELM World-Wide-Web page,
-# http://cs.unibo.it/helm/.
-
-#use strict;
-
-use HTTP::Daemon;
-use HTTP::Status;
-use HTTP::Request;
-use LWP::UserAgent;
-use DB_File;
-use Compress::Zlib;
-use URI::Escape;
-
-foreach $i (@ARGV) {
- my $filename = $i;
- $filename =~ s/\//./g;
- open(FD,">output/$filename");
-
-# my $url = "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/apply?keys=pfi%2Creorder&xmluri=http%3A//phd.cs.unibo.it%3A8081/ls%3Fformat%3Dxml%26baseuri%3D$i&param.uri=$i&param.getterURL=http://phd.cs.unibo.it:8081/";
-
-#my $url = "http://dotto.cs.unibo.it:8080/helm/servlet/uwobo/apply?keys=pfi%2Creorder&xmluri=http%3A//dotto.cs.unibo.it%3A8081/ls%3Fformat%3Dxml%26baseuri%3D$i&param.uri=$i&param.getterURL=http://dotto.cs.unibo.it:8081/";
-
-my $url = "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/apply?keys=occ&xmluri=http%3A//phd.cs.unibo.it%3A8081/getxml%3Furi%3D$i&param.CICURI=$i";
-
- print "Now processing $i...\n";
- print "$url\n";
-
- my $time = time();
- my $ua = LWP::UserAgent->new;
- my $request = HTTP::Request->new(GET => "$url");
- my $response = $ua->request($request, \&callback2);
- $time = time() - $time;
- print "Finished. Time elapsed: $time\n\n";
-
- close(FD);
-}
-
-exit;
-
-sub callback2
-{
- my ($data) = @_;
- print FD $data;
-}