Add 'Server' and 'User-Agent' default header fields.

sdk/lib/io/options.dart

Index: sdk/lib/io/options.dart
diff --git a/sdk/lib/io/options.dart b/sdk/lib/io/options.dart
index 91a8e5841e6e46d1743d3608919b00a9e19f6e4f..6b5b75c03d2426bb70fb692e506aa1b4e875e87c 100644
--- a/sdk/lib/io/options.dart
+++ b/sdk/lib/io/options.dart
@@ -41,6 +41,12 @@ abstract class Options {
    * string is returned.
    */
   String get script;
+
+
+  /**
+   * Returns the version of the current dart runtime.
+   */
+  String get version;
 }
 
 class _OptionsImpl implements Options {
@@ -60,6 +66,10 @@ class _OptionsImpl implements Options {
     return _nativeScript;
   }
 
+  String get version;

[Søren Gjesse, 2013/06/11 11:02:00]

???

[Anders Johnsen, 2013/06/11 11:37:55]

Done.

+//    return _nativeVersion;
+//  }
+
   List<String> _arguments = null;
 
   // This arguments singleton is written to by the embedder if applicable.
@@ -70,4 +80,6 @@ class _OptionsImpl implements Options {
 
   // This script singleton is written to by the embedder if applicable.
   static String _nativeScript = '';
+

[Søren Gjesse, 2013/06/11 11:02:00]

???

[Anders Johnsen, 2013/06/11 11:37:55]

Done.

+//  static String _nativeVersion = '';
 }