diff src/main.d @ 839:4063da6f3edd default tip

Refactored the config file and how it is loaded.
author Aziz K?ksal <aziz.koeksal@gmail.com>
date Thu, 21 Aug 2008 17:51:04 +0200
parents 80eb3251e010
children
line wrap: on
line diff
--- a/src/main.d	Wed Aug 20 20:39:16 2008 +0200
+++ b/src/main.d	Thu Aug 21 17:51:04 2008 +0200
@@ -46,7 +46,7 @@
 void main(char[][] args)
 {
   auto infoMan = new InfoManager();
-  SettingsLoader.SettingsLoader(infoMan).load();
+  ConfigLoader(infoMan).load();
   if (infoMan.hasInfo)
     return printErrors(infoMan);
 
@@ -391,6 +391,8 @@
       errorFormat = GlobalSettings.semanticErrorFormat;
     else if (info.classinfo is Warning.classinfo)
       errorFormat = "{0}: Warning: {3}";
+    else if (info.classinfo is dil.Information.Error.classinfo)
+      errorFormat = "Error: {3}";
     else
       continue;
     auto err = cast(Problem)info;