Support ports in EndpointRouting

[pbiggar]

If seems right now that there is no way to add ports during endpoint routing. AFAICT, it should be straightforward to add by calling RequireHost($"*:{port}").

I want to ensure that my main routes (including fallbacks, authorization, redirects, etc) are not in the routing map for http calls to my control plane (healthcheck, kubernetes actions, etc) which are on a different port.

[Banashek]

Would authorizeRequest work here?

let webApp =
    choose [
        route "/ping"   >=> text "pong"
        route "/"       >=> htmlView indexView
        authorizeRequest 
            (fun x -> x.Request.Host.Port = 2000) 
            (text "failed") >=> 
                route "/healthcheck" >=> text "healthy"]

[pbiggar]

I'm not using Giraffe anymore, though it looks to me that that wouldn't compile down to the efficient EndpointRouting stuff.

[Banashek]

You're correct. That would not compile down (I was using the default routing).

Here's a version that does:

let validateApiKey (ctx : HttpContext) =
    match ctx.TryGetRequestHeader "X-API-Key" with
    | Some key -> "super-sercret-key".Equals key
    | None     -> false

let accessDenied   = setStatusCode 401 >=> text "Access Denied"
let requiresApiKey =
    authorizeRequest validateApiKey accessDenied


let endpoints : Endpoint list =
    [
        GET [
            route "/ping" (text "pong")
            route "/"     (htmlView indexView)
            route "/healthCheck" (requiresApiKey >=> (text "healthy"))]]

I assume swapping in a port check would work fine:

let validatePort (ctx : HttpContext) = ctx.Request.Host.Port = 2000