Issue warning when user-file is empty.

bergmannf · Jun 1, 2016 · 40ebda5 · 40ebda5
1 parent a224bd4
commit 40ebda5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Network/Gitit/Config.hs b/src/Network/Gitit/Config.hs
@@ -157,6 +157,9 @@ extractConfig cp = do
  liftIO $ logM "gitit" WARNING "rpx-domain is not set"
  ghConfig <- extractGithubConfig cp
 
+ when (null cfUserFile) $
+ liftIO $ logM "gitit" ERROR "user-file is empty"
+
  return Config{
  repositoryPath = cfRepositoryPath
  , repositoryType = repotype'