X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmetadata%2Fpostgresql_V7_mowgli%2Finserisci.pl;fp=helm%2Fmetadata%2Fpostgresql_V7_mowgli%2Finserisci.pl;h=0000000000000000000000000000000000000000;hp=17c882418f29d36e0d28f756a864d3c7e893b8d3;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/metadata/postgresql_V7_mowgli/inserisci.pl b/helm/metadata/postgresql_V7_mowgli/inserisci.pl
deleted file mode 100755
index 17c882418..000000000
--- a/helm/metadata/postgresql_V7_mowgli/inserisci.pl
+++ /dev/null
@@ -1,24 +0,0 @@
-#!/usr/bin/perl
-
-$max = 0;
-open (OUT, "| psql -U helm helm_mowgli_new_schema");
-while (<STDIN>) {
- open (IN,$_);
- $uri1 = <IN>;
- chomp($uri1);
- print "$uri1:\n";
- $uri1 =~ s/'/\\'/g;
- $max++;
- print OUT "create table t$max (prop_id varchar, position varchar, uri varchar, depth int);";
- print OUT "insert into registry values ('$uri1', $max);";
- while (<IN>) {
-  chomp;
-  ($dir,$context,$uri2,$depth) = split(/\|/);
-  print "   Inserisco $dir#$context#$uri2#$depth\n";
-  $uri2 =~ s/'/\\'/g;
-  print OUT "insert into t$max values ('$dir', '$context', '$uri2', $depth);";
- }
-  print "\n";
-  close IN;
-}
-close OUT;