| 
					
				 | 
			
			
				@@ -18,14 +18,14 @@ if(typeof edlp_mobile != "undefined"){ 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     case (device_is_mobile && !edlp_mobile.is_mobile_domain): 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       // console.log('redirect to mobile domain', window.location.protocol +'//'+ edlp_mobile.mobile_url); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       device_redirect = true; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      // TODO: redirect to mobile domain 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      // window.location.replace(window.location.protocol +'//'+ edlp_mobile.mobile_url); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+      // redirect to mobile domain 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+      window.location.replace(window.location.protocol +'//'+ edlp_mobile.mobile_url); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       break; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     case (edlp_mobile.is_mobile_domain && !device_is_mobile): 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       // console.log('redirect to desktop domain', window.location.protocol +'//'+ edlp_mobile.desktop_url); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       device_redirect = true; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      // TODO: redirect to desktop domain 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-      // window.location.replace(window.location.protocol +'//'+ edlp_mobile.desktop_url); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+      // redirect to desktop domain 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+      window.location.replace(window.location.protocol +'//'+ edlp_mobile.desktop_url); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       break; 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				     default: 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				       // console.log('do not redirect'); 
			 |