mirror of
https://github.com/sudo-project/sudo.git
synced 2025-08-29 13:28:10 +00:00
Comments that begin with #- should not be parsed as uids.
This commit is contained in:
parent
77794f27aa
commit
2d4aebed6e
4
toke.l
4
toke.l
@ -467,12 +467,12 @@ sudoedit {
|
||||
LEXTRACE("\n\t");
|
||||
} /* throw away EOL after \ */
|
||||
|
||||
<INITIAL,STARTDEFS,INDEFS>#([^\n0-9-].*)?\n {
|
||||
<INITIAL,STARTDEFS,INDEFS>#(-[^\n0-9].*|[^\n0-9-].*)?\n {
|
||||
BEGIN INITIAL;
|
||||
++sudolineno;
|
||||
LEXTRACE("\n");
|
||||
return(COMMENT);
|
||||
} /* return comments */
|
||||
} /* comment, not uid/gid */
|
||||
|
||||
<*>. {
|
||||
LEXTRACE("ERROR ");
|
||||
|
Loading…
x
Reference in New Issue
Block a user