*** mobile_tools-6.x-2.3/mobile_tools.module	Thu Apr 07 00:05:48 2011
--- mobile-tools/mobile_tools.module	Fri Oct 21 13:15:20 2011
***************
*** 262,277 ****
    // Redirections 
    if (!$page_match) {
      // The case where a mobile user is accessing the desktop site
      if ($device['type'] == 'mobile' && $current_url_type == 'desktop') {
          $destination_url = mobile_tools_get_redirect_url('mobile');
!         mobile_tools_goto($destination_url);
      // The case where a desktop user is accessing the mobile site 
      } 
      elseif ($device['type'] == 'desktop' && $current_url_type == 'mobile') {
         $destination_url = mobile_tools_get_redirect_url('desktop');
!        mobile_tools_goto($destination_url);
      }
    }
  }
  
  /**
--- 262,277 ----
    // Redirections 
    if (!$page_match) {
      // The case where a mobile user is accessing the desktop site
      if ($device['type'] == 'mobile' && $current_url_type == 'desktop') {
          $destination_url = mobile_tools_get_redirect_url('mobile');
!         mobile_tools_goto($destination_url, isset($_SERVER["QUERY_STRING"]) ? $_SERVER["QUERY_STRING"] : NULL);
      // The case where a desktop user is accessing the mobile site 
      } 
      elseif ($device['type'] == 'desktop' && $current_url_type == 'mobile') {
         $destination_url = mobile_tools_get_redirect_url('desktop');
!        mobile_tools_goto($destination_url, isset($_SERVER["QUERY_STRING"]) ? $_SERVER["QUERY_STRING"] : NULL);
      }
    }
  }
  
  /**