Diff between 6a76969d6ea91004838f5afac2836fa69bcd7371 and 1b94ec589e2d1c3f84998c34fd8b64292654d6dc

Changed Files

File Additions Deletions Status
tools/parse_companies.pl +1 -0 modified

Full Patch

diff --git a/tools/parse_companies.pl b/tools/parse_companies.pl
index f755390..99d3f31 100755
--- a/tools/parse_companies.pl
+++ b/tools/parse_companies.pl
@@ -51,6 +51,7 @@ while (<>) {
         my $name = uri_decode($1);
         $name =~ s/^\s+//g; # kill leading
         $name =~ s/\s+$//g; # and trailing space
+        $name =~ s/"/\\"/g; # escape double quotes
         my $id = hex($identifier);
         if ($id != 65535) {
             print "\tcase $id:\n";