Change tabbing for everything....

[IRC.git] / Robust / src / Interface / HTTPServices.java

diff --git a/Robust/src/Interface/HTTPServices.java b/Robust/src/Interface/HTTPServices.java
index 30804fb8234762a8e8e724bdd547fbdb52c7f1cd..5a2b19a53e99959108e0096be4f999579f8cbfac 100644 (file)
--- a/Robust/src/Interface/HTTPServices.java
+++ b/Robust/src/Interface/HTTPServices.java
@@ -3,80 +3,80 @@ import java.net.*;
 import java.io.*;
 import java.util.*;
 
-public class HTTPServices{
-
-    static private String webRoot = ".";
-
-    static private FileInputStream get_reader(String fileName,HTTPResponse resp) throws IOException{
-//         if(fileName.equals("/daytime")){
-//             String date_str = (new Date()).toString();
-//             resp.sentBytes = date_str.length();
-//             return
-//                 new StringReader(date_str);
-//         }
-           
-           if(fileName.equals("/viewlog"))
-               fileName = LogFile.log_file_name;
-           else
-               fileName = webRoot + fileName;
-           
-           File f = new File(fileName);
-           resp.sentBytes = f.length();
-           return new FileInputStream(f);
-    }
+public class HTTPServices {
 
-    public static void GET_handler(String fileName, OutputStream out, HTTPResponse resp){
-       
-       FileInputStream reader  = null;
-       byte buffer[];
-       int size;
+  static private String webRoot = ".";
 
-       if((reader = HEAD_handler_int(fileName,out,resp)) == null) return;
+  static private FileInputStream get_reader(String fileName,HTTPResponse resp) throws IOException {
+//          if(fileName.equals("/daytime")){
+//              String date_str = (new Date()).toString();
+//              resp.sentBytes = date_str.length();
+//              return
+//                  new StringReader(date_str);
+//          }
 
-       buffer = new byte[1024];
+    if(fileName.equals("/viewlog"))
+      fileName = LogFile.log_file_name;
+    else
+      fileName = webRoot + fileName;
 
-       try{
-           while((size = reader.read(buffer,0,buffer.length)) != -1)
-               out.write(buffer,0,size);
-           reader.close();
-       }
-       catch(IOException e){
-           e.printStackTrace();
-           resp.returnCode = 501; // error during transmision
-       }
+    File f = new File(fileName);
+    resp.sentBytes = f.length();
+    return new FileInputStream(f);
+  }
 
-    }
+  public static void GET_handler(String fileName, OutputStream out, HTTPResponse resp) {
+
+    FileInputStream reader  = null;
+    byte buffer[];
+    int size;
+
+    if((reader = HEAD_handler_int(fileName,out,resp)) == null) return;
 
-    public static void POST_handler(String fileName, OutputStream out, HTTPResponse resp){
-       GET_handler(fileName,out, resp);
+    buffer = new byte[1024];
+
+    try{
+      while((size = reader.read(buffer,0,buffer.length)) != -1)
+       out.write(buffer,0,size);
+      reader.close();
+    }
+    catch(IOException e){
+      e.printStackTrace();
+      resp.returnCode = 501;       // error during transmision
     }
 
-    static private FileInputStream HEAD_handler_int(String fileName,
-                                                   OutputStream out,HTTPResponse resp){
-       FileInputStream reader = null;
-
-       try{
-           reader = get_reader(fileName, resp);
-           resp.returnCode = 200;
-       }
-       catch(IOException e){
-           resp.returnCode = 404; // file not found
-       }
-
-       if(resp.returnCode == 200)
-           HTTPHeader.send_header(out, resp.returnCode, fileName, resp.sentBytes);
-       else{
-           HTTPHeader.send_header(out, resp.returnCode, fileName, 0);
-           return null;
-       }
-       
-       return reader;
+  }
+
+  public static void POST_handler(String fileName, OutputStream out, HTTPResponse resp) {
+    GET_handler(fileName,out, resp);
+  }
+
+  static private FileInputStream HEAD_handler_int(String fileName,
+                                                  OutputStream out,HTTPResponse resp) {
+    FileInputStream reader = null;
+
+    try{
+      reader = get_reader(fileName, resp);
+      resp.returnCode = 200;
+    }
+    catch(IOException e){
+      resp.returnCode = 404;       // file not found
     }
-       
 
-    public static void HEAD_handler(String fileName, 
-                                  OutputStream out, HTTPResponse resp){
-       HEAD_handler_int(fileName,out,resp);
+    if(resp.returnCode == 200)
+      HTTPHeader.send_header(out, resp.returnCode, fileName, resp.sentBytes);
+    else{
+      HTTPHeader.send_header(out, resp.returnCode, fileName, 0);
+      return null;
     }
+
+    return reader;
+  }
+
+
+  public static void HEAD_handler(String fileName,
+                                  OutputStream out, HTTPResponse resp) {
+    HEAD_handler_int(fileName,out,resp);
+  }
 }