Index: mobile_tools.module
===================================================================
--- mobile_tools.module	(revision 16423)
+++ mobile_tools.module	(working copy)
@@ -256,6 +256,12 @@
   if (module_exists('i18n')) {
     i18n_variable_init();
   }
+  //Add a user agent Vary header if mobile and desktop use same url
+  $mobile_url = variable_get('mobile_tools_mobile_url', '');
+  $desktop_url = variable_get('mobile_tools_desktop_url', '');
+  if ($mobile_url == $desktop_url) {
+    drupal_set_header(variable_get('mobile_tools_vary_header','Vary:User-Agent'));
+  }
 }
 
 /**