| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java (revision 15448)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/util/LibraryReferenceFinder.java (working copy)
|
| @@ -88,11 +88,17 @@
|
| if (htmlSource.startsWith(TAG_NAME_SCRIPT, index)) {
|
| index += TAG_NAME_SCRIPT_LENGTH;
|
| int endIndex = htmlSource.indexOf('>', index);
|
| + if (endIndex < 0) {
|
| + return;
|
| + }
|
| boolean isDartScript = processScriptTagAttributes(htmlSource.substring(index, endIndex));
|
| if (isDartScript && htmlSource.charAt(endIndex - 1) != '/') {
|
| // If the script tag is well-formed, then it has a body that we also need to process.
|
| endIndex++;
|
| index = htmlSource.indexOf(TAG_END_SCRIPT, endIndex);
|
| + if (index < 0) {
|
| + return;
|
| + }
|
| processScriptBody(htmlSource.substring(endIndex, index));
|
| index += TAG_END_SCRIPT_LENGTH;
|
| } else {
|
|
|