diff options
| -rw-r--r-- | src/commentcnv.l | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/commentcnv.l b/src/commentcnv.l index 8823b68..8762b6a 100644 --- a/src/commentcnv.l +++ b/src/commentcnv.l @@ -704,6 +704,14 @@ void replaceComment(int offset); g_readLineCtx=YY_START; BEGIN(ReadLine); } +<SComment>\n[ \t]*"//"[\/!]("<")?[ \t]*[\\@]"}".*\n { + /* See Bug 752712: end the multiline comment when finding a @} or \} command */ + copyToOutput(" */",3); + copyToOutput(yytext,(int)yyleng); + g_inSpecialComment=FALSE; + g_inRoseComment=FALSE; + BEGIN(Scan); + } <SComment>\n[ \t]*"///"[^\/\n]/.*\n { replaceComment(1); g_readLineCtx=YY_START; |