]> matita.cs.unibo.it Git - helm.git/commitdiff
Quotes problem fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 16:55:45 +0000 (16:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 31 Oct 2002 16:55:45 +0000 (16:55 +0000)
helm/metadata/create_V7_mowgli/fix_rdf.pl

index 6d17383b3615ddd12b159716cad6dbeb608abcd2..3d52c0fc90294bc6e97dcb54c06d27e8935dab60 100755 (executable)
@@ -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;