Allow " " and ":" in file name transtions

We have added a couple of file name transtitions that required a space and a colon.
This commit is contained in:
Dan Walsh 2013-10-09 14:27:20 -04:00 committed by Stephen Smalley
parent f44a218e5c
commit 4d2dd33411
1 changed files with 1 additions and 1 deletions

View File

@ -240,7 +240,7 @@ HIGH { return(HIGH); }
low |
LOW { return(LOW); }
"/"({alnum}|[_\.\-/])* { return(PATH); }
\"({alnum}|[_\.\-\+\~])+\" { return(FILENAME); }
\"({alnum}|[_\.\-\+\~\: ])+\" { return(FILENAME); }
{letter}({alnum}|[_\-])*([\.]?({alnum}|[_\-]))* { return(IDENTIFIER); }
{alnum}*{letter}{alnum}* { return(FILESYSTEM); }
{digit}+|0x{hexval}+ { return(NUMBER); }