]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create_V7_mowgli/fix_rdf.pl
Quotes problem fixed.
[helm.git] / 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;