(removed commented line and fixed bad indentation)
This commit is contained in:
2013-08-05 10:20:41 +02:00
parent 63f1976663
commit 5753af3e43

View File

@@ -156,7 +156,6 @@ feature -- Destroy
raw_input_data_recorded := False raw_input_data_recorded := False
request_method := empty_string_8 request_method := empty_string_8
set_uploaded_file_path (Void) set_uploaded_file_path (Void)
-- wgi_request
end end
feature -- Status report feature -- Status report