From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 31 Oct 2002 16:55:45 +0000 (+0000)
Subject: Quotes problem fixed.
X-Git-Tag: BEFORE_METADATA_FOR_SORT_AND_REL~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39bbffb9b48d93517cd0de07ee677eba1dd94576;p=helm.git

Quotes problem fixed.
---

diff --git a/helm/metadata/create_V7_mowgli/fix_rdf.pl b/helm/metadata/create_V7_mowgli/fix_rdf.pl
index 6d17383b3..3d52c0fc9 100755
--- a/helm/metadata/create_V7_mowgli/fix_rdf.pl
+++ b/helm/metadata/create_V7_mowgli/fix_rdf.pl
@@ -17,7 +17,11 @@ print HEADER <<EOT;
 EOT
 close(HEADER);
 
-system("cat $filename >> $outputfile");
+$quotedfilename = $filename;
+$quotedfilename =~ s/'/\\'/g;
+$quotedoutputfile = $outputfile;
+$quotedoutputfile =~ s/'/\\'/g;
+system("cat $quotedfilename >> $quotedoutputfile");
 
 open(FOOTER,">>$outputfile");
 print FOOTER <<EOT;