Index: runtime/observatory/lib/src/elements/script_ref.dart |
diff --git a/runtime/observatory/lib/src/elements/script_ref.dart b/runtime/observatory/lib/src/elements/script_ref.dart |
index 2f30e26b38b299c4268635f42e52dd687aa7040d..d467fc604e25c1b64de968b4a115b175ee9d680a 100644 |
--- a/runtime/observatory/lib/src/elements/script_ref.dart |
+++ b/runtime/observatory/lib/src/elements/script_ref.dart |
@@ -34,7 +34,7 @@ class ScriptRefElement extends ServiceRefElement { |
if (ref == null) { |
return super.name; |
} |
- if (pos >= 0) { |
+ if ((pos != null) && (pos >= 0)) { |
if (ref.loaded) { |
// Script is loaded, get the line number. |
Script script = ref; |
@@ -51,7 +51,7 @@ class ScriptRefElement extends ServiceRefElement { |
if (ref == null) { |
return super.url; |
} |
- if (pos >= 0) { |
+ if ((pos != null) && (pos >= 0)) { |
if (ref.loaded) { |
return '${super.url}---pos=${pos}'; |
} else { |