From b7444eb432a97aa2565af30aa41dbfd926753d32 Mon Sep 17 00:00:00 2001 From: iko Date: Mon, 24 Feb 2020 17:20:28 +0300 Subject: [PATCH] Removed unneeded config field --- src/Server/Config.hs | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/Server/Config.hs b/src/Server/Config.hs index e4dac0f..274a7e2 100644 --- a/src/Server/Config.hs +++ b/src/Server/Config.hs @@ -30,7 +30,6 @@ data Config databseUrl :: !ByteString, baseSiteUrl :: !Text, cfgDockerUrl :: !String, - cfgDockerFile :: !FilePath, logSeverity :: !Severity, builderCount :: !Int, githubContext :: !Text @@ -67,7 +66,6 @@ defaultConfig = databseUrl = "host=localhost port=5432 dbname=sc-build connect_timeout=10", baseSiteUrl = "http://localhost:8080", cfgDockerUrl = "http://localhost:1234", - cfgDockerFile = "TmpDockerfile", logSeverity = Info, builderCount = 2, githubContext = "MY CI NAME"