| Index: editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/agent.html
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/agent.html (revision 10850)
|
| +++ editor/tools/plugins/com.google.dart.tools.debug.core/src/com/google/dart/tools/debug/core/util/agent.html (working copy)
|
| @@ -12,7 +12,7 @@
|
| <body>
|
| <script>
|
| window.addEventListener('message', function (event) {
|
| - var xhr = new XMLHttpRequest();
|
| + var xhr = new HttpRequest();
|
|
|
| xhr.open('POST', '/log', true);
|
| xhr.setRequestHeader('Content-Type', 'application/x-www-form-urlencoded');
|
|
|