Changeset 31358

Show
Ignore:
Timestamp:
25.01.2017 00:04:07 (3 years ago)
Author:
davidb
Message:

Make workset download save as file

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • other-projects/hathitrust/wcsa/vol-checker/src/org/hathitrust/extractedfeatures/VolumeCheck.java

    r31357 r31358  
    112112 
    113113                if ((line_num % 100000) == 0) { 
    114                     //System.err.println("sample id = " + id); 
    115                     //System.err.println("Passed line: " + line_num); 
    116114                    System.err.print("."); 
    117115                } 
     
    165163            Process proc = runtime.exec(rsync_command); 
    166164            proc.waitFor(); 
    167             //System.err.println("*** Rsync finished"); 
    168165         
    169166            FileInputStream fis = new FileInputStream(json_filename_tail); 
     
    179176    } 
    180177     
    181     protected void doCollectionToWorkset(HttpServletResponse response, String c, String a, String format) throws IOException 
     178    protected void doCollectionToWorkset(HttpServletResponse response, String col_title,  
     179                            String c, String a, String format) throws IOException 
    182180    { 
    183181        String post_url_params  = "c="+c+"&a="+a+"&format="+format; 
     
    231229                ci++; 
    232230            } 
    233                
     231              
     232            String col_title_filename = col_title + ".txt"; 
    234233            response.setContentType("text/plain"); 
     234            response.setHeader("Content-Disposition", "attachment; filename=\"" + col_title_filename + "\""); 
     235 
    235236            PrintWriter pw = response.getWriter(); 
    236237            pw.append(workset_friendly_sb.toString()); 
     
    253254    protected void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException  
    254255    { 
    255          
    256          
    257256        String cgi_ids = request.getParameter("ids"); 
    258257        String cgi_id = request.getParameter("id"); 
     
    332331        } 
    333332        else if (cgi_convert_col != null) { 
    334             // c=464226859&a=download&format=text 
    335             //String cgi_c = request.getParameter("c"); 
     333             
     334            String cgi_col_title = request.getParameter("col-title"); 
    336335            String cgi_a = request.getParameter("a"); 
    337336            String cgi_format = request.getParameter("format"); 
     
    341340            } 
    342341            else { 
    343                 doCollectionToWorkset(response,cgi_convert_col,cgi_a,cgi_format); 
     342                if (cgi_col_title == null) { 
     343                    cgi_col_title = "htrc-workset-" + cgi_convert_col; 
     344                } 
     345 
     346                doCollectionToWorkset(response,cgi_col_title,cgi_convert_col,cgi_a,cgi_format); 
    344347            } 
    345348