anchor.diff:  		// turn off animation when page finished
   		window.clearInterval(intervalid);
   	}
  -	
  +
  +	/*
  +	 * For FF browsers, animated gif freezes when href changed,
  +	 * so use AJAX to get redirected page.
  +	 *
  +	 */	
   	function getActualFile()
   	{
   		var http;
  
positive.code: 						// was called by this wait page (and not from iframe)
  						location.href = url + "?time=1";
  					}
  				}, 0);
  			}
  		}
  	}
  
negative.code:   </sakai:view>
  </f:view>
  
  <script language="JavaScript"> 
  	// Call javascript function to grab actual long loading page
  	load();
  </script>
  
  