From 099762e704de46aac9b4052e86a8b3a9855315d3 Mon Sep 17 00:00:00 2001
From: Midgard <midgard@zeus.ugent.be>
Date: Thu, 26 Mar 2020 16:35:33 +0100
Subject: [PATCH] Remove CORS avoidance: CORS is now okay

---
 ajax.js | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/ajax.js b/ajax.js
index 51ff20a..d5c67a7 100644
--- a/ajax.js
+++ b/ajax.js
@@ -80,9 +80,8 @@ function getJson(url, options={}) {
 
 function postJson(url, data=undefined, options={}) {
 	if (!options.headers) options.headers = {};
-	// This triggers CORS, which is not acceptable
-	//options.headers["Content-Type"] = MIME_JSON;
-	//options.headers["Accept"] = MIME_JSON;
+	options.headers["Content-Type"] = MIME_JSON;
+	options.headers["Accept"] = MIME_JSON;
 
 	return new Promise((resolve, reject) => {
 		let xhr = xhrInitForPromise(resolve, reject, url, "POST", options.headers);