jdk/src/share/classes/javax/swing/text/html/parser/Parser.java
changeset 12999 d0cec5582bd7
parent 9213 856f16c729a5
child 14309 425e2c6b5941
equal deleted inserted replaced
12840:4157f2200059 12999:d0cec5582bd7
  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;