diff --git a/server.py b/server.py index ae873a0c0fbc02e14e81b5da8d4293e145f668c3..d1ccc1daeb9c5ed7469107bcc100f3526a30debe 100644 --- a/server.py +++ b/server.py @@ -10,6 +10,7 @@ import random import sched import traceback import string +from socket import gethostname app = Flask(__name__) @@ -18,6 +19,7 @@ app.jinja_env.lstrip_blocks = True app.add_template_global(random.randint, name='randint') app.add_template_global(datetime, name='datetime') app.add_template_global(timedelta, name='timedelta') +app.add_template_global(gethostname, name='gethostname') scheduler = sched.scheduler() def run_scheduler(): diff --git a/templates/base.html b/templates/base.html index bf54ae125b7a5893d2d8a98439eace3f03b56f37..ff4dd01f40a0d9ae5c0cc18ef84fc370e562b733 100644 --- a/templates/base.html +++ b/templates/base.html @@ -145,6 +145,11 @@ <li> <a href="https://twitter.com/rwthvideo">Twitter</a> </li> + {% if ismod() %} + <li class="pull-right"> + {{ gethostname() }} + </li> + {% endif %} </div> </footer> {% endblock %}