| 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 {
|
|
|