Added request method PATCH even if not really used for now, it might in the future

library/protocol/http/src/http_request_method_constants.e

@@ -27,6 +27,8 @@ feature -- Id
 
 	connect: INTEGER = 0x80
 
+	patch: INTEGER = 0x100
+
 feature -- Name
 
 	method_empty: STRING = ""
@@ -44,6 +46,8 @@ feature -- Query
 				Result := post
 			elseif s.same_string (method_put) then
 				Result := put
+			elseif s.same_string (method_patch) then
+				Result := patch
 			elseif s.same_string (method_delete) then
 				Result := delete
 			elseif s.same_string (method_head) then
@@ -66,6 +70,7 @@ feature -- Query
 			when options then Result := method_options
 			when post then Result := method_post
 			when put then Result := method_put
+			when patch then Result := method_patch
 			when delete then Result := method_delete
 			when connect then Result := method_connect
 			else

library/server/request/rest/src/rest_request_handler.e

@@ -241,6 +241,9 @@ feature -- Status report
 			if method_put_supported then
 				Result.extend (request_method_constants.method_put)
 			end
+			if method_patch_supported then
+				Result.extend (request_method_constants.method_patch)
+			end
 			if method_delete_supported then
 				Result.extend (request_method_constants.method_delete)
 			end
@@ -264,6 +267,11 @@ feature -- Status report
 			Result := request_method_id_supported ({HTTP_REQUEST_METHOD_CONSTANTS}.put)
 		end
 
+	method_patch_supported: BOOLEAN
+		do
+			Result := request_method_id_supported ({HTTP_REQUEST_METHOD_CONSTANTS}.patch)
+		end
+
 	method_delete_supported: BOOLEAN
 		do
 			Result := request_method_id_supported ({HTTP_REQUEST_METHOD_CONSTANTS}.delete)
@@ -296,6 +304,11 @@ feature -- Element change: request methods
 			enable_request_method ({HTTP_REQUEST_METHOD_CONSTANTS}.put)
 		end
 
+	enable_request_method_patch
+		do
+			enable_request_method ({HTTP_REQUEST_METHOD_CONSTANTS}.patch)
+		end
+
 	enable_request_method_delete
 		do
 			enable_request_method ({HTTP_REQUEST_METHOD_CONSTANTS}.delete)