Enhanced error page and error notifications

server.py

@@ -125,7 +125,7 @@ def handle_not_found(e=None):
 def handle_internal_error(e):
 	traceback.print_exc()
 	notify_admins('endpoint_exception', traceback=traceback.format_exc())
-	return render_template('500.html'), 500
+	return render_template('500.html', online=True), 500
 
 @sched_func(5*60, firstdelay=0)
 def dump_error_page():

templates/500.html

@@ -7,8 +7,12 @@
 	<div class="row panel-body">
 		<div class="col-xs-12">
 			<p>Es ist ein interner Fehler aufgetreten. Eventuell betrifft dieser nur einen Teil der Seite oder er tritt nur vorübergehend auf. Versuche es doch einfach in ein paar Minuten noch einmal.</p>
+			{% if online %}
+			<p>Wir haben das Problem registriert und werden uns schnellst möglich darum kümmern.</p>
+			{% else %}
 			<p>Falls das Problem länger bestehen sollte, schreib uns bitte eine Mail an <a href="mailto:video@fsmpi.rwth-aachen.de">video@fsmpi.rwth-aachen.de</a> in der du uns die <b>Uhrzeit</b> und <b>aufgerufene Seite</b> nennst und, dass der Fehler auf Server <b>{{ gethostname() }}</b> aufgetreten ist.
 			Wir werden uns dann schnellst möglich darum kümmern.</p>
+			{% endif %}
 		</div>
 	</div>
 </div>

templates/mails/endpoint_exception.body

 {{ request.method }} {{ request.url }}
 
 Endpoint: {{ request.endpoint }}
+Referrer: {{ request.referrer }}
+User-Agent: {{ request.user_agent }}
 Hostname: {{ gethostname() }}
 
 {{ traceback }}