Thomas Müller c46f480031 In case of exception we return an html page in case the client is a browser		2016-03-24 19:02:16 +01:00
..
exception.php	In case of exception we return an html page in case the client is a browser	2016-03-24 19:02:16 +01:00