Add back analytics web id
This commit is contained in:
@@ -90,7 +90,7 @@ module Handlers =
|
||||
GetAnalyticsWebId =
|
||||
fun () ->
|
||||
async {
|
||||
let url = Settings.analyticsWebId
|
||||
let url = settings.analyticsWebId
|
||||
return url
|
||||
}
|
||||
}
|
||||
|
||||
@@ -214,6 +214,8 @@ type Settings () =
|
||||
failwith "SLURM_JWT not set!"
|
||||
)
|
||||
|
||||
member _.analyticsWebId : string option = tryGetEnv "ANALYTICS_WEB_ID"
|
||||
|
||||
member this.Print() =
|
||||
eprintfn "Settings:"
|
||||
eprintfn " - file = %A" this.file
|
||||
|
||||
Reference in New Issue
Block a user