From 54e707d66351716aebc5f9990af13d938ca36c5d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Manuel=20M=C3=B6hlmann?= <mail@manmoe.com>
Date: Tue, 16 Apr 2013 23:35:15 +0200
Subject: [PATCH] added workaround for getting refresh button working again

---
 core.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core.js b/core.js
index 3bebae8..f1ae9b0 100644
--- a/core.js
+++ b/core.js
@@ -29,7 +29,7 @@ function UpdateIfReady(force) {
 }
 
 function UpdateFeed() {
-  $.ajax({type:'GET', dataType:'xml', url: 'https://news.ycombinator.com/rss', timeout:5000, success:onRssSuccess, error:onRssError});
+  $.ajax({type:'GET', dataType:'xml', url: 'https://news.ycombinator.com/rss', timeout:5000, success:onRssSuccess, error:onRssError, async: false});
 }
 
 function onRssSuccess(doc) {