Patched What to stop crashing on HEAD requests. (Thanks Donald!)

libs/HttpServlet.js

@@ -215,7 +215,12 @@ exports.create = function(meta) {
 					return this.doOptions(request, response); this.serviceComplete(request, response);	break;
 				case "TRACE" :
 					return this.doTrace(request, response); this.serviceComplete(request, response); break;
-				default:
+				case "HEAD":
+					return this.doGet.call(this, request, response, callback);
+					break;
+				default:	// Others
+					return this.doGet.call(this, request, response, callback);
+					break;
 			}			
 		},
 		serviceComplete : function(request, response, callback) {

libs/HttpServletResponse.js

@@ -19,8 +19,8 @@ exports.create = function(options) {
 	// Public
 	return {
 		// Non-interface method.  Ends Node.JS response
-		close : function() {
-			this.flushBuffer();
+		close : function(autoFlush) {
+			if(autoFlush) this.flushBuffer();
 			if(this.getStatus()==304) {
 				this.getWriter().close();
 				return;

libs/ServletContext.js

@@ -221,7 +221,7 @@ exports.create = function(options) {
 		handleComplete : function(request, response){
 			var acceptEncoding = request.getHeader("accept-encoding");
 			if(acceptEncoding && acceptEncoding.toLowerCase().indexOf("gzip") > -1) {  // Accepts GZIP
-				if(!response.isCommited()) {
+				if(!response.isCommited() && !request.method=="HEAD") {
 					response.setHeader("Content-Encoding", "gzip");
 					// console.log(request.getPathInfo());
 					gzip({
@@ -234,10 +234,10 @@ exports.create = function(options) {
 						}
 					});
 				}else{ // Response is commited, cannot GZIP.
-					response.close();
+					response.close((request.getMethod()!="HEAD"));
 				}
 			}else{ // Browser does not accept GZIP.
-				response.close();
+				response.close((request.getMethod()!="HEAD"));
 			}
 			var rStatus = response.getStatus().toString();
 			switch (rStatus){