Vector marc_vector=null;
String s[] = request.getParameterValues("selected_marc");
String request_url=request.getHeader("Referer");//用户未登录
if (session.getAttribute("cat_id")==null)
{
   %>
          <script language="JavaScript">
        alert("只有操作员才能访问,请先登录!");
    location.replace("login.jsp");
          </Script>
   <%
   return;
}//未选中任何记录
if (s == null) 
{
   %>
      <script language="JavaScript">
        alert("未选中任何记录");
        history.back();
      </Script>
<%
   return;
}//从session读取vector,若空则创建vector
if (session.getAttribute("cat_marc_vector")==null)
{
    marc_vector=new Vector();    
}
else
{
    marc_vector=(Vector)session.getAttribute("cat_marc_vector");
}
 //往购物车添加物品
int b_exist=0;
for (int i=0; i<s.length; i++) 
{
    b_exist=0;
    for (int j=0;j<marc_vector.size(); j++)
    {
        if (marc_vector.elementAt(j).equals(s[i]))
            b_exist=1;        
    }
    if (b_exist==0)
    {
        marc_vector.addElement(s[i]); 
    }
}
//将vector保存在session中
session.setAttribute("cat_marc_vector",marc_vector);//返回调用页面   
response.sendRedirect("result_search.jsp");
return;