Programming Languages Research Group: Git - IRC.git/blob

   1 package Interface;
   2 import java.net.*;
   3 import java.io.*;
   4 import java.util.*;
   5
   6 public class HTTPServices{
   7
   8     static private String webRoot = ".";
   9
  10     static private FileInputStream get_reader(String fileName,HTTPResponse resp) throws IOException{
  11 //          if(fileName.equals("/daytime")){
  12 //              String date_str = (new Date()).toString();
  13 //              resp.sentBytes = date_str.length();
  14 //              return
  15 //                  new StringReader(date_str);
  16 //          }
  17
  18             if(fileName.equals("/viewlog"))
  19                 fileName = LogFile.log_file_name;
  20             else
  21                 fileName = webRoot + fileName;
  22
  23             File f = new File(fileName);
  24             resp.sentBytes = f.length();
  25             return new FileInputStream(f);
  26     }
  27
  28     public static void GET_handler(String fileName, OutputStream out, HTTPResponse resp){
  29
  30         FileInputStream reader  = null;
  31         byte buffer[];
  32         int size;
  33
  34         if((reader = HEAD_handler_int(fileName,out,resp)) == null) return;
  35
  36         buffer = new byte[1024];
  37
  38         try{
  39             while((size = reader.read(buffer,0,buffer.length)) != -1)
  40                 out.write(buffer,0,size);
  41             reader.close();
  42         }
  43         catch(IOException e){
  44             e.printStackTrace();
  45             resp.returnCode = 501; // error during transmision
  46         }
  47
  48     }
  49
  50     public static void POST_handler(String fileName, OutputStream out, HTTPResponse resp){
  51         GET_handler(fileName,out, resp);
  52     }
  53
  54     static private FileInputStream HEAD_handler_int(String fileName,
  55                                                     OutputStream out,HTTPResponse resp){
  56         FileInputStream reader = null;
  57
  58         try{
  59             reader = get_reader(fileName, resp);
  60             resp.returnCode = 200;
  61         }
  62         catch(IOException e){
  63             resp.returnCode = 404; // file not found
  64         }
  65
  66         if(resp.returnCode == 200)
  67             HTTPHeader.send_header(out, resp.returnCode, fileName, resp.sentBytes);
  68         else{
  69             HTTPHeader.send_header(out, resp.returnCode, fileName, 0);
  70             return null;
  71         }
  72
  73         return reader;
  74     }
  75
  76
  77     public static void HEAD_handler(String fileName,
  78                                    OutputStream out, HTTPResponse resp){
  79         HEAD_handler_int(fileName,out,resp);
  80     }
  81 }
  82