//extend user session
var vSessionId;

function sessionAlert(_sessionId) {
  vSessionId = _sessionId;
  window.setInterval('keepSessionAlive();', 540000); //9 min
//  window.setInterval('keepSessionAlive();', 120000); //2 min
//  window.setInterval('keepSessionAlive();', 60000); //1 min
}

function sessionHasExpired(){
  //nothing for now
}

function keepSessionAlive(){
  var ajax = new sack();
  ajax.requestFile = "keepSession.jsp;JSESSIONID=" + vSessionId;
  ajax.onCompletion = sessionHasExpired;
  ajax.runAJAX();
}