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'); |