// $Id: access-control.js,v 1.1 2003/07/29 19:55:36 jhanna Exp $
//

function openWindow (url,name,settings){
  var popupWin;
  popupWin = window.open(url,name,settings);
  popupWin.focus();
}


function simplePopup(url, name, width, height){
  openWindow(url, name, 'toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=yes,width='+width+',height='+height);
}


function accessDenied(pubs) {
  var contextUri = this.parent.document.contextUri;

  simplePopup(contextUri+"/accessdenied.do?pubs="+escape(pubs), "denied", 550, 600);
}
 
function showSource(pub) {
  simplePopup("showsource.do?pub="+escape(pub), "sourcecard", 550, 600);
}
 
function requireLoginPopup(forwardTo,popup) {
  if (popup != null) {
    simplePopup
      ("requirelogin.do?popup="+escape(popup)+"&jumpto="+escape(forwardTo),
       "login", 400, 210);
  }
  else {
    simplePopup
      ("requirelogin.do?jumpto="+escape(forwardTo), 
       "login", 400, 210);

  }
}