Display hostname in moderator interface

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():

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 %}