From 337a72ef4dc827848e073339da01e49ffbff1755 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Thu, 17 Aug 2017 15:32:46 +0200
Subject: [PATCH] Fix displaying errors from JSON requests

---
 src/root/static/js/common.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/root/static/js/common.js b/src/root/static/js/common.js
index 8296cadb..1fe2f778 100644
--- a/src/root/static/js/common.js
+++ b/src/root/static/js/common.js
@@ -121,7 +121,7 @@ function escapeHTML(s) {
 };
 
 function requestFile(args) {
-    if (!"error" in args) {
+    if (!("error" in args)) {
         args.error = function(data) {
             json = {};
             try {