Fix generate_code.pl to handle escaped :

This commit is contained in:
Andres AG 2017-02-02 14:36:49 +00:00
parent d5d6a3054b
commit f083b31fb3
2 changed files with 4 additions and 4 deletions

View file

@ -139,7 +139,7 @@ while($test_cases =~ /\/\* BEGIN_CASE *([\w:]*) \*\/\n(.*?)\n\/\* END_CASE \*\//
$param_defs .= " char *param$i = params[$i];\n";
$param_checks .= " if( verify_string( &param$i ) != 0 ) return( 2 );\n";
push @dispatch_params, "param$i";
$mapping_regex .= ":[^:\n]+";
$mapping_regex .= ":(?:\\\\.|[^:\n])+";
}
else
{