rpki.version hack and rpkic command to display it.

See #543.

svn path=/trunk/; revision=5384

1 files changed, 13 insertions, 1 deletions

diff --git a/rpkid/rpki/rpkic.py b/rpkid/rpki/rpkic.py
index 8085db43..377b6474 100644
--- a/rpkid/rpki/rpkic.py
+++ b/rpkid/rpki/rpkic.py
@@ -17,7 +17,7 @@ integration with the Django-based GUI interface.
 
 $Id$
 
-Copyright (C) 2009--2012  Internet Systems Consortium ("ISC")
+Copyright (C) 2009--2013  Internet Systems Consortium ("ISC")
 
 Permission to use, copy, modify, and distribute this software for any
 purpose with or without fee is hereby granted, provided that the above
@@ -54,6 +54,7 @@ import rpki.exceptions
 import rpki.left_right
 import rpki.x509
 import rpki.async
+import rpki.version
 
 from rpki.cli import Cmd, BadCommandSyntax
 
@@ -743,3 +744,14 @@ class main(Cmd):
       raise BadCommandSyntax("This command takes no arguments")
 
     self.zoo.clear_all_sql_cms_replay_protection()
+
+
+  def do_version(self, arg):
+    """
+    Show current software version number.
+    """
+
+    if arg:
+      raise BadCommandSyntax("This command takes no arguments")
+
+    print rpki.version.VERSION