diff --git a/hermit/webserver b/hermit/webserver index c7fc7fa..a7b7c14 100755 Binary files a/hermit/webserver and b/hermit/webserver differ