From cde464b6bf7616462efdad1cae1c0d93008df9a2 Mon Sep 17 00:00:00 2001
From: Doctor-von-Piglet <Doctor-von-Piglet@users.noreply.github.com>
Date: Wed, 15 Apr 2015 12:03:42 -0700
Subject: [PATCH] replaced location.origin

location.origin is not defined in all browsers.
---
 templates/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/templates/main.js b/templates/main.js
index 5401fa8b..836eda31 100644
--- a/templates/main.js
+++ b/templates/main.js
@@ -177,7 +177,7 @@ function highlightReply(id, event) {
 			post.className += ' highlighted';
 
 			if (history.pushState) {
-				history.pushState(null, null, window.document.location.origin + window.document.location.pathname + window.document.location.search + '#' + id); 
+				history.pushState(null, null, window.document.location.protocol + "//" + window.document.location.host + window.document.location.pathname + window.document.location.search + '#' + id); 
 			} else {
 				window.location.hash = id;
 			}