Browse Source

[5014] Count embbeded \n in comments

Francis Dupont 8 years ago
parent
commit
ef885e0762
1 changed files with 2 additions and 1 deletions
  1. 2 1
      src/bin/dhcp6/dhcp6_lexer.ll

+ 2 - 1
src/bin/dhcp6/dhcp6_lexer.ll

@@ -116,7 +116,7 @@ JSONString                              \"{JSONStringCharacter}*\"
 }
 
 <COMMENT>"*/" BEGIN(INITIAL);
-<COMMENT>.|"\n" ;
+<COMMENT>. ;
 <COMMENT><<EOF>> {
     isc_throw(isc::BadValue, "Comment not closed. (/* in line " << comment_start_line);
 }
@@ -125,6 +125,7 @@ JSONString                              \"{JSONStringCharacter}*\"
     // Ok, we found a with space. Let's ignore it and update loc variable.
     loc.step();
 }
+
 [\n]+      {
     // Newline found. Let's update the location and continue.
     loc.lines(yyleng);