2011-03-07 22:59:22 +01:00
|
|
|
%% Copyright (c) 2011, Loïc Hoguin <essen@dev-extend.eu>
|
|
|
|
%%
|
|
|
|
%% Permission to use, copy, modify, and/or distribute this software for any
|
|
|
|
%% purpose with or without fee is hereby granted, provided that the above
|
|
|
|
%% copyright notice and this permission notice appear in all copies.
|
|
|
|
%%
|
|
|
|
%% THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
|
|
%% WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
|
|
%% MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
|
|
%% ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
|
|
%% WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
|
|
%% ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
|
|
%% OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
|
|
|
|
|
|
-module(cowboy_http_protocol).
|
|
|
|
-export([start_link/3]). %% API.
|
2011-03-20 14:24:43 +01:00
|
|
|
-export([init/3, wait_request/1]). %% FSM.
|
2011-03-07 22:59:22 +01:00
|
|
|
|
|
|
|
-include("include/types.hrl").
|
|
|
|
-include("include/http.hrl").
|
|
|
|
|
|
|
|
-record(state, {
|
|
|
|
socket :: socket(),
|
|
|
|
transport :: module(),
|
|
|
|
dispatch :: dispatch(),
|
2011-03-17 22:02:47 +01:00
|
|
|
handler :: {Handler::module(), Opts::term()},
|
2011-03-07 22:59:22 +01:00
|
|
|
timeout :: timeout(),
|
|
|
|
connection = keepalive :: keepalive | close
|
|
|
|
}).
|
|
|
|
|
|
|
|
%% API.
|
|
|
|
|
|
|
|
-spec start_link(Socket::socket(), Transport::module(), Opts::term())
|
|
|
|
-> {ok, Pid::pid()}.
|
|
|
|
start_link(Socket, Transport, Opts) ->
|
|
|
|
Pid = spawn_link(?MODULE, init, [Socket, Transport, Opts]),
|
|
|
|
{ok, Pid}.
|
|
|
|
|
|
|
|
%% FSM.
|
|
|
|
|
2011-03-21 22:22:30 +01:00
|
|
|
-spec init(Socket::socket(), Transport::module(), Opts::term()) -> ok.
|
2011-03-07 22:59:22 +01:00
|
|
|
init(Socket, Transport, Opts) ->
|
|
|
|
Dispatch = proplists:get_value(dispatch, Opts, []),
|
|
|
|
Timeout = proplists:get_value(timeout, Opts, 5000),
|
|
|
|
wait_request(#state{socket=Socket, transport=Transport,
|
|
|
|
dispatch=Dispatch, timeout=Timeout}).
|
|
|
|
|
|
|
|
-spec wait_request(State::#state{}) -> ok.
|
|
|
|
wait_request(State=#state{socket=Socket, transport=Transport, timeout=T}) ->
|
|
|
|
Transport:setopts(Socket, [{packet, http}]),
|
|
|
|
case Transport:recv(Socket, 0, T) of
|
|
|
|
{ok, Request} -> request(Request, State);
|
|
|
|
{error, timeout} -> error_terminate(408, State);
|
|
|
|
{error, closed} -> terminate(State)
|
|
|
|
end.
|
|
|
|
|
|
|
|
-spec request({http_request, Method::http_method(), URI::http_uri(),
|
|
|
|
Version::http_version()}, State::#state{}) -> ok.
|
|
|
|
%% @todo We probably want to handle some things differently between versions.
|
|
|
|
request({http_request, _Method, _URI, Version}, State)
|
|
|
|
when Version =/= {1, 0}, Version =/= {1, 1} ->
|
|
|
|
error_terminate(505, State);
|
|
|
|
%% @todo We need to cleanup the URI properly.
|
|
|
|
request({http_request, Method, {abs_path, AbsPath}, Version},
|
|
|
|
State=#state{socket=Socket, transport=Transport}) ->
|
2011-03-20 00:01:29 +01:00
|
|
|
{Path, RawPath, Qs} = cowboy_dispatcher:split_path(AbsPath),
|
2011-03-20 00:09:15 +01:00
|
|
|
ConnAtom = version_to_connection(Version),
|
|
|
|
wait_header(#http_req{socket=Socket, transport=Transport,
|
|
|
|
connection=ConnAtom, method=Method, version=Version,
|
2011-04-05 20:07:52 +02:00
|
|
|
path=Path, raw_path=RawPath, raw_qs=Qs},
|
|
|
|
State#state{connection=ConnAtom});
|
2011-03-19 18:53:59 +01:00
|
|
|
request({http_request, Method, '*', Version},
|
|
|
|
State=#state{socket=Socket, transport=Transport}) ->
|
2011-03-20 00:09:15 +01:00
|
|
|
ConnAtom = version_to_connection(Version),
|
|
|
|
wait_header(#http_req{socket=Socket, transport=Transport,
|
|
|
|
connection=ConnAtom, method=Method, version=Version,
|
2011-04-05 20:09:49 +02:00
|
|
|
path='*', raw_path="*", raw_qs=[]},
|
2011-04-05 20:07:52 +02:00
|
|
|
State#state{connection=ConnAtom});
|
2011-03-19 14:46:45 +01:00
|
|
|
request({http_request, _Method, _URI, _Version}, State) ->
|
|
|
|
error_terminate(501, State);
|
2011-03-19 14:38:31 +01:00
|
|
|
request({http_error, "\r\n"}, State) ->
|
2011-03-19 14:40:39 +01:00
|
|
|
wait_request(State);
|
|
|
|
request({http_error, _Any}, State) ->
|
|
|
|
error_terminate(400, State).
|
2011-03-07 22:59:22 +01:00
|
|
|
|
|
|
|
-spec wait_header(Req::#http_req{}, State::#state{}) -> ok.
|
|
|
|
%% @todo We don't want to wait T at each header...
|
|
|
|
%% We want to wait T total until we reach the body.
|
|
|
|
wait_header(Req, State=#state{socket=Socket,
|
|
|
|
transport=Transport, timeout=T}) ->
|
|
|
|
case Transport:recv(Socket, 0, T) of
|
|
|
|
{ok, Header} -> header(Header, Req, State);
|
|
|
|
{error, timeout} -> error_terminate(408, State);
|
|
|
|
{error, closed} -> terminate(State)
|
|
|
|
end.
|
|
|
|
|
|
|
|
-spec header({http_header, I::integer(), Field::http_header(), R::term(),
|
|
|
|
Value::string()} | http_eoh, Req::#http_req{}, State::#state{}) -> ok.
|
2011-03-20 15:10:58 +01:00
|
|
|
header({http_header, _I, 'Host', _R, RawHost}, Req=#http_req{path=Path,
|
2011-03-19 16:49:06 +01:00
|
|
|
host=undefined}, State=#state{dispatch=Dispatch}) ->
|
2011-03-27 01:16:11 +01:00
|
|
|
RawHost2 = string_to_lower(RawHost),
|
2011-03-20 15:10:58 +01:00
|
|
|
Host = cowboy_dispatcher:split_host(RawHost2),
|
2011-03-17 22:02:47 +01:00
|
|
|
%% @todo We probably want to filter the Host and Path here to allow
|
|
|
|
%% things like url rewriting.
|
|
|
|
case cowboy_dispatcher:match(Host, Path, Dispatch) of
|
|
|
|
{ok, Handler, Opts, Binds} ->
|
2011-03-19 23:57:23 +01:00
|
|
|
wait_header(Req#http_req{
|
2011-03-20 15:10:58 +01:00
|
|
|
host=Host, raw_host=RawHost2, bindings=Binds,
|
|
|
|
headers=[{'Host', RawHost2}|Req#http_req.headers]},
|
2011-03-17 22:02:47 +01:00
|
|
|
State#state{handler={Handler, Opts}});
|
2011-03-19 17:42:03 +01:00
|
|
|
{error, notfound, host} ->
|
|
|
|
error_terminate(400, State);
|
|
|
|
{error, notfound, path} ->
|
2011-03-17 22:02:47 +01:00
|
|
|
error_terminate(404, State)
|
|
|
|
end;
|
2011-03-19 16:49:06 +01:00
|
|
|
%% Ignore Host headers if we already have it.
|
|
|
|
header({http_header, _I, 'Host', _R, _V}, Req, State) ->
|
|
|
|
wait_header(Req, State);
|
2011-03-07 22:59:22 +01:00
|
|
|
header({http_header, _I, 'Connection', _R, Connection}, Req, State) ->
|
2011-03-18 22:38:26 +01:00
|
|
|
ConnAtom = connection_to_atom(Connection),
|
|
|
|
wait_header(Req#http_req{connection=ConnAtom,
|
2011-03-07 22:59:22 +01:00
|
|
|
headers=[{'Connection', Connection}|Req#http_req.headers]},
|
2011-03-18 22:38:26 +01:00
|
|
|
State#state{connection=ConnAtom});
|
2011-03-07 22:59:22 +01:00
|
|
|
header({http_header, _I, Field, _R, Value}, Req, State) ->
|
|
|
|
wait_header(Req#http_req{headers=[{Field, Value}|Req#http_req.headers]},
|
|
|
|
State);
|
|
|
|
%% The Host header is required.
|
|
|
|
header(http_eoh, #http_req{host=undefined}, State) ->
|
|
|
|
error_terminate(400, State);
|
2011-03-17 22:02:47 +01:00
|
|
|
header(http_eoh, Req, State) ->
|
2011-04-07 00:54:32 +02:00
|
|
|
handler_init(Req, State);
|
|
|
|
header({http_error, _String}, _Req, State) ->
|
|
|
|
error_terminate(500, State).
|
2011-03-07 22:59:22 +01:00
|
|
|
|
2011-03-18 00:15:46 +01:00
|
|
|
-spec handler_init(Req::#http_req{}, State::#state{}) -> ok.
|
2011-03-22 19:50:02 +01:00
|
|
|
handler_init(Req, State=#state{
|
|
|
|
transport=Transport, handler={Handler, Opts}}) ->
|
|
|
|
case catch Handler:init({Transport:name(), http}, Req, Opts) of
|
2011-03-18 01:52:46 +01:00
|
|
|
{ok, Req, HandlerState} ->
|
2011-03-19 19:51:44 +01:00
|
|
|
handler_loop(HandlerState, Req, State);
|
2011-03-22 23:03:43 +01:00
|
|
|
%% @todo {upgrade, transport, Module}
|
|
|
|
{upgrade, protocol, Module} ->
|
|
|
|
Module:upgrade(Handler, Opts, Req);
|
2011-03-19 19:51:44 +01:00
|
|
|
{'EXIT', _Reason} ->
|
|
|
|
error_terminate(500, State)
|
2011-03-18 00:15:46 +01:00
|
|
|
end.
|
|
|
|
|
|
|
|
-spec handler_loop(HandlerState::term(), Req::#http_req{},
|
|
|
|
State::#state{}) -> ok.
|
|
|
|
handler_loop(HandlerState, Req, State=#state{handler={Handler, _Opts}}) ->
|
2011-03-20 18:03:11 +01:00
|
|
|
case catch Handler:handle(Req#http_req{resp_state=waiting},
|
|
|
|
HandlerState) of
|
2011-03-18 22:38:26 +01:00
|
|
|
{ok, Req2, HandlerState2} ->
|
2011-03-19 19:51:44 +01:00
|
|
|
handler_terminate(HandlerState2, Req2, State);
|
|
|
|
{'EXIT', _Reason} ->
|
|
|
|
terminate(State)
|
2011-03-18 13:47:37 +01:00
|
|
|
end.
|
|
|
|
|
|
|
|
-spec handler_terminate(HandlerState::term(), Req::#http_req{},
|
|
|
|
State::#state{}) -> ok.
|
|
|
|
handler_terminate(HandlerState, Req, State=#state{handler={Handler, _Opts}}) ->
|
2011-03-21 17:26:00 +01:00
|
|
|
HandlerRes = (catch Handler:terminate(
|
2011-03-20 18:03:11 +01:00
|
|
|
Req#http_req{resp_state=locked}, HandlerState)),
|
2011-03-21 17:26:00 +01:00
|
|
|
BodyRes = ensure_body_processed(Req),
|
2011-03-20 19:38:45 +01:00
|
|
|
ensure_response(Req, State),
|
2011-03-21 17:26:00 +01:00
|
|
|
case {HandlerRes, BodyRes, State#state.connection} of
|
|
|
|
{ok, ok, keepalive} -> next_request(State);
|
2011-03-18 22:38:26 +01:00
|
|
|
_Closed -> terminate(State)
|
2011-03-17 22:02:47 +01:00
|
|
|
end.
|
2011-03-07 22:59:22 +01:00
|
|
|
|
2011-03-21 17:26:00 +01:00
|
|
|
-spec ensure_body_processed(Req::#http_req{}) -> ok | close.
|
|
|
|
ensure_body_processed(#http_req{body_state=done}) ->
|
|
|
|
ok;
|
|
|
|
ensure_body_processed(Req=#http_req{body_state=waiting}) ->
|
2011-03-21 21:28:24 +01:00
|
|
|
case cowboy_http_req:body(Req) of
|
|
|
|
{error, badarg} -> ok; %% No body.
|
2011-03-21 17:26:00 +01:00
|
|
|
{error, _Reason} -> close;
|
|
|
|
_Any -> ok
|
|
|
|
end.
|
|
|
|
|
2011-03-21 17:51:21 +01:00
|
|
|
-spec ensure_response(Req::#http_req{}, State::#state{}) -> ok.
|
|
|
|
%% The handler has already fully replied to the client.
|
|
|
|
ensure_response(#http_req{resp_state=done}, _State) ->
|
|
|
|
ok;
|
2011-03-20 19:38:45 +01:00
|
|
|
%% No response has been sent but everything apparently went fine.
|
|
|
|
%% Reply with 204 No Content to indicate this.
|
|
|
|
ensure_response(#http_req{resp_state=waiting}, State) ->
|
2011-03-21 17:51:21 +01:00
|
|
|
error_response(204, State).
|
2011-03-07 22:59:22 +01:00
|
|
|
|
2011-03-20 19:29:32 +01:00
|
|
|
-spec error_response(Code::http_status(), State::#state{}) -> ok.
|
|
|
|
error_response(Code, #state{socket=Socket,
|
|
|
|
transport=Transport, connection=Connection}) ->
|
2011-03-22 12:27:34 +01:00
|
|
|
_ = cowboy_http_req:reply(Code, [], [], #http_req{
|
2011-03-20 19:29:32 +01:00
|
|
|
socket=Socket, transport=Transport,
|
2011-03-21 17:52:27 +01:00
|
|
|
connection=Connection, resp_state=waiting}),
|
|
|
|
ok.
|
2011-03-20 19:29:32 +01:00
|
|
|
|
2011-03-20 19:38:45 +01:00
|
|
|
-spec error_terminate(Code::http_status(), State::#state{}) -> ok.
|
|
|
|
error_terminate(Code, State) ->
|
|
|
|
error_response(Code, State#state{connection=close}),
|
|
|
|
terminate(State).
|
|
|
|
|
2011-03-07 22:59:22 +01:00
|
|
|
-spec terminate(State::#state{}) -> ok.
|
|
|
|
terminate(#state{socket=Socket, transport=Transport}) ->
|
|
|
|
Transport:close(Socket),
|
|
|
|
ok.
|
|
|
|
|
|
|
|
-spec next_request(State::#state{}) -> ok.
|
|
|
|
next_request(State=#state{connection=keepalive}) ->
|
2011-03-20 14:24:43 +01:00
|
|
|
?MODULE:wait_request(State);
|
2011-03-07 22:59:22 +01:00
|
|
|
next_request(State=#state{connection=close}) ->
|
|
|
|
terminate(State).
|
|
|
|
|
|
|
|
%% Internal.
|
|
|
|
|
2011-03-20 00:09:15 +01:00
|
|
|
-spec version_to_connection(Version::http_version()) -> keepalive | close.
|
|
|
|
version_to_connection({1, 1}) -> keepalive;
|
|
|
|
version_to_connection(_Any) -> close.
|
|
|
|
|
2011-03-07 22:59:22 +01:00
|
|
|
-spec connection_to_atom(Connection::string()) -> keepalive | close.
|
2011-03-27 01:11:33 +01:00
|
|
|
connection_to_atom("keep-alive") ->
|
|
|
|
keepalive;
|
|
|
|
connection_to_atom("close") ->
|
|
|
|
close;
|
2011-03-07 22:59:22 +01:00
|
|
|
connection_to_atom(Connection) ->
|
2011-03-27 01:16:11 +01:00
|
|
|
case string_to_lower(Connection) of
|
2011-03-07 22:59:22 +01:00
|
|
|
"close" -> close;
|
|
|
|
_Any -> keepalive
|
|
|
|
end.
|
2011-03-27 01:16:11 +01:00
|
|
|
|
|
|
|
%% More efficient implementation of string:to_lower.
|
|
|
|
%% We are excluding a few characters on purpose.
|
|
|
|
-spec string_to_lower(string()) -> string().
|
|
|
|
string_to_lower(L) ->
|
|
|
|
[char_to_lower(C) || C <- L].
|
|
|
|
|
|
|
|
%% We gain noticeable speed by matching each value directly.
|
|
|
|
-spec char_to_lower(char()) -> char().
|
|
|
|
char_to_lower($A) -> $a;
|
|
|
|
char_to_lower($B) -> $b;
|
|
|
|
char_to_lower($C) -> $c;
|
|
|
|
char_to_lower($D) -> $d;
|
|
|
|
char_to_lower($E) -> $e;
|
|
|
|
char_to_lower($F) -> $f;
|
|
|
|
char_to_lower($G) -> $g;
|
|
|
|
char_to_lower($H) -> $h;
|
|
|
|
char_to_lower($I) -> $i;
|
|
|
|
char_to_lower($J) -> $j;
|
|
|
|
char_to_lower($K) -> $k;
|
|
|
|
char_to_lower($L) -> $l;
|
|
|
|
char_to_lower($M) -> $m;
|
|
|
|
char_to_lower($N) -> $n;
|
|
|
|
char_to_lower($O) -> $o;
|
|
|
|
char_to_lower($P) -> $p;
|
|
|
|
char_to_lower($Q) -> $q;
|
|
|
|
char_to_lower($R) -> $r;
|
|
|
|
char_to_lower($S) -> $s;
|
|
|
|
char_to_lower($T) -> $t;
|
|
|
|
char_to_lower($U) -> $u;
|
|
|
|
char_to_lower($V) -> $v;
|
|
|
|
char_to_lower($W) -> $w;
|
|
|
|
char_to_lower($X) -> $x;
|
|
|
|
char_to_lower($Y) -> $y;
|
|
|
|
char_to_lower($Z) -> $z;
|
|
|
|
char_to_lower(Ch) -> Ch.
|