diff --git a/web_serving/SimpleWebPage.py b/web_serving/SimpleWebPage.py index 2e61d1a..92f5a59 100755 --- a/web_serving/SimpleWebPage.py +++ b/web_serving/SimpleWebPage.py @@ -5,6 +5,7 @@ import os,sys,time import urllib +VERSION="20160116" def setup(): ''' Setup the command line options ''' @@ -20,6 +21,7 @@ def setup(): help="Output filename (Default: index.html)") parser.add_argument("-p",action="store_false",dest="parent",default=True, help="Do no print .. link for parent folder.") + parser.add_argument("--version",action='version', version=VERSION) parser.add_argument("startpath",type=str,action="store",default=os.path.abspath('.'),nargs='?', help="Root path of the index") options=parser.parse_args() @@ -69,6 +71,7 @@ def get_header(title): header=''' + Index of '''+title+'''