From 563c407f0b84d2d0b2f5935ce127bf0920385757 Mon Sep 17 00:00:00 2001
From: Fabian Becker <halfdan@xnorfz.de>
Date: Tue, 18 Nov 2014 11:34:43 +0100
Subject: [PATCH] New --version flag to show current EvA2 version.

---
 src/eva2/cli/Main.java | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/eva2/cli/Main.java b/src/eva2/cli/Main.java
index 773d19a0..1802204e 100644
--- a/src/eva2/cli/Main.java
+++ b/src/eva2/cli/Main.java
@@ -30,6 +30,9 @@ public class Main {
             /* Show help for empty argument list or --help */
             printHelp();
             System.exit(-1);
+        } else if (args.length == 1 && args[0].equals("--version")) {
+            printVersion();
+            System.exit(-1);
         } else if (args.length == 2 && args[0].equals("--help")) {
             /* Show help for specific class */
             String className = args[1];
@@ -45,8 +48,14 @@ public class Main {
         }
     }
 
-    private static void printHelp() {
+    /**
+     * Print current version number.
+     */
+    private static void printVersion() {
         System.out.printf("EvA2 version \"%s\"\n", EvAInfo.getVersion());
+    }
+
+    private static void printHelp() {
         System.out.println("Usage: java -cp EvA2.jar eva2.cli.Main [args...]\n");
 
         printHelpFor(OptimizationParameters.class);
@@ -147,6 +156,7 @@ public class Main {
         optimizationLog.put("populationSize", parameters.getOptimizer().getPopulation().getTargetSize());
         optimizationLog.put("numberOfRuns", statisticsParameters.getMultiRuns());
         optimizationLog.put("seed", parameters.getRandomSeed());
+        optimizationLog.put("problem", parameters.getProblem());
 
         CommandLineStatistics yamlStatistics = new CommandLineStatistics(statisticsParameters);