| Index: runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| diff --git a/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart b/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| index 601a24ad14bf5786ac8074c2f9697a4f49f97b24..ca2eba8d2898bde3ff74b6f742bc35e323e9f75e 100644
|
| --- a/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| +++ b/runtime/bin/vmservice/observatory/lib/src/elements/script_ref.dart
|
| @@ -54,7 +54,7 @@ class ScriptRefElement extends ServiceRefElement {
|
| if (ref.loaded) {
|
| // Script is loaded, get the line number.
|
| Script script = ref;
|
| - return '${super.url}#pos=${pos}';
|
| + return '${super.url}---pos=${pos}';
|
| } else {
|
| ref.load().then(_updateProperties);
|
| }
|
|
|