Merge branch 'master' of dreamhost:~/repositories/git/tonkadur

1 files changed, 9 insertions, 1 deletions

diff --git a/src/json-export/src/tonkadur/plugin/JSONExport.java b/src/json-export/src/tonkadur/plugin/JSONExport.java
index 1e5a070..74db24d 100644
--- a/src/json-export/src/tonkadur/plugin/JSONExport.java
+++ b/src/json-export/src/tonkadur/plugin/JSONExport.java
@@ -44,7 +44,10 @@ public class JSONExport extends TonkadurPlugin
 
             output_file = args_it.next();
 
-            break;
+         }
+         else if (option.equals("--legal"))
+         {
+            print_license();
          }
       }
 
@@ -73,4 +76,9 @@ public class JSONExport extends TonkadurPlugin
    {
       System.out.println(" -o|--output <file>\t\tOutput to <file>.");
    }
+
+   protected static void print_license ()
+   {
+      System.out.println("This version of Tonkadur ships with a copy of the json-simple library, whose license is available at https://github.com/fangyidong/json-simple/blob/master/LICENSE.txt");
+   }
 }