equal
deleted
inserted
replaced
1984 i++; |
1984 i++; |
1985 } |
1985 } |
1986 if (i == SCRIPT_END_TAG.length) { |
1986 if (i == SCRIPT_END_TAG.length) { |
1987 |
1987 |
1988 /* '</script>' tag detected */ |
1988 /* '</script>' tag detected */ |
1989 /* Here, ch == '>' */ |
|
1990 ch = readCh(); |
|
1991 /* Here, ch == the first character after </script> */ |
1989 /* Here, ch == the first character after </script> */ |
1992 return; |
1990 return; |
1993 } else { |
1991 } else { |
1994 |
1992 |
1995 /* To account for extra read()'s that happened */ |
1993 /* To account for extra read()'s that happened */ |
2058 |
2056 |
2059 /* Handle resulting chars as comment */ |
2057 /* Handle resulting chars as comment */ |
2060 handleComment(str.toCharArray()); |
2058 handleComment(str.toCharArray()); |
2061 endTag(false); |
2059 endTag(false); |
2062 lastBlockStartPos = currentPosition; |
2060 lastBlockStartPos = currentPosition; |
|
2061 |
|
2062 continue; |
2063 } else { |
2063 } else { |
2064 switch (c) { |
2064 switch (c) { |
2065 case '<': |
2065 case '<': |
2066 parseTag(); |
2066 parseTag(); |
2067 lastBlockStartPos = currentPosition; |
2067 lastBlockStartPos = currentPosition; |